Zusammenfassung
Äquivalenzrelationen sind ein sehr mächtiges Hilfsmittel für Klassifikation und Abstraktion in der Mathematik und speziell der mathematischen Informatik. Dies zeigt sich vor allem in dem Begriff derÄquivalenzklassen, den wir in Abschnitt 5.4 einführen. Zuvor behandeln wir im Anschluß an die konzeptuelle Einleitung zunächst die zentrale Definition der Äquivalenzrelation selbst und die Konstruktion der Abschlußbildung. Dahinter verbirgt sich die minimale Ergänzung einer beliebigen Relation zu einer Äquivalenzrelation, die diese enthält. Daß dies immer eindeutig möglich ist, ist ein wichtiges Ergebnis.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1999 Springer
About this chapter
Cite this chapter
Ehrig, H., Mahr, B., Cornelius, F., Große-Rhode, M., Zeitz, P. (1999). Äquivalenzrelationen. In: Mathematisch-strukturelle Grundlagen der Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-97986-6_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-97986-6_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63865-0
Online ISBN: 978-3-642-97986-6
eBook Packages: Springer Book Archive