Reguläre Menge

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
Eine reguläre Menge (blau) in der Ebene enthält vollständig ihren Rand (dunkelblau) und besitzt keine echt eindimensionalen Teile

Eine reguläre Menge ist in der Geometrie eine Teilmenge des euklidischen Raums, die gleich dem Abschluss ihres Inneren ist. Eine reguläre Menge besitzt damit keine echt niederdimensionalen Teile und enthält vollständig ihren Rand. Durch Regularisierung können auf regulären Mengen reguläre Mengenoperationen, wie Schnitt, Vereinigung, Differenz und Komplement, definiert werden. Reguläre Mengen werden insbesondere in der geometrischen Modellierung und in der Computergrafik verwendet, in einem allgemeineren Kontext werden sie auch in der Topologie betrachtet.

Eine Teilmenge des euklidischen Raums heißt regulär, wenn

gilt, wobei das Innere und den Abschluss einer Menge bezeichnen.[1][2] Eine reguläre Menge wird also dadurch charakterisiert, dass sie gleich dem Abschluss ihres Inneren ist. Die Menge der regulären Mengen in wird mit bezeichnet.

Beispiele für reguläre Mengen sind:

Reguläre Mengen besitzen folgende Eigenschaften:

  • Eine reguläre Menge ist vollständig -dimensional, sie besitzt also keine Teile niedrigerer Dimension.
  • Eine reguläre Menge ist abgeschlossen, sie enthält also stets ihren kompletten Rand .
  • Eine reguläre Menge muss nicht zusammenhängend sein, sondern kann auch aus mehreren Komponenten bestehen. Sie kann auch Löcher oder Hohlräume aufweisen.
  • Eine reguläre Menge kann auch unbeschränkt sein.

Regularisierung

[Bearbeiten | Quelltext bearbeiten]
Beispiel für eine Regularisierung

Unter der Regularisierung einer Menge versteht man die Operation

,

wobei die Potenzmenge darstellt. Durch Regularisierung wird demnach einer Menge die zugehörige reguläre Menge zugeordnet. Eine reguläre Menge ist gerade dadurch charakterisiert, dass sie gleich ihrer eigenen Regularisierung ist, also gilt.[1]

Reguläre Mengenoperationen

[Bearbeiten | Quelltext bearbeiten]
Konstruktive Festkörpergeometrie mit regulären Mengenoperationen

Mit Hilfe der Regularisierungsoperation lassen sich die folgenden regulären Mengenoperationen für die Vereinigung, den Schnitt und die Differenz zweier regulärer Mengen definieren:[1][2]

Hinzu kommt die reguläre Komplementbildung einer Menge :

Die regulären Mengen sind unter diesen regulären Mengenoperationen abgeschlossen. Das Tupel stellt auch eine boolesche Algebra dar. Im dreidimensionalen Raum bilden die regulären Mengenoperationen das Grundgerüst für die konstruktive Festkörpergeometrie (Constructive Solid Geometry).[3]

Verallgemeinerung

[Bearbeiten | Quelltext bearbeiten]

Reguläre Mengen können allgemeiner auch in topologischen Räumen betrachtet werden. Eine Teilmenge eines topologischen Raums heißt dabei regulär abgeschlossen, falls

gilt, und regulär offen, falls

gilt. Eine Teilmenge eines topologischen Raums ist dabei genau dann regulär abgeschlossen, wenn ihr Komplement regulär offen ist.[4] Mit der Halbordnung und den entsprechenden regulären Mengenoperationen bilden sowohl die regulär offenen, als auch die regulär abgeschlossenen Teilmengen eines topologischen Raums jeweils eine vollständige boolesche Algebra.[5] Ein topologischer Raum, dessen regulär offene Teilmengen eine Basis des Raums bilden, heißt halbregulär.[6] Jeder reguläre Raum, also jeder topologische Raum, in dem alle Punkte Umgebungsbasen aus abgeschlossenen Mengen besitzen, ist auch halbregulär und besitzt damit auch eine Basis aus regulär offenen Teilmengen.

  • Hans-Joachim Bungartz, Michael Griebel, Christoph Zenger: Einführung in die Computergrafik: Grundlagen, Geometrische Modellierung und Algorithmen. Springer, 2013, ISBN 978-3-322-92925-9.
  • Beat Brüderlin, Andreas Meier: Computergrafik und Geometrisches Modellieren. Springer, 2013, ISBN 978-3-322-80111-1.
  • James D. Foley, Andries van Dam, Steven K. Feiner, John F. Hughes: Computer Graphics: Principles and Practice. Addison-Wesley, 1996, ISBN 978-0-201-84840-3.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. a b c Hans-Joachim Bungartz, Michael Griebel, Christoph Zenger: Einführung in die Computergrafik. Springer, 2013, S. 55.
  2. a b Beat Brüderlin, Andreas Meier: Computergrafik und Geometrisches Modellieren. Springer, 2013, S. 196.
  3. James D. Foley, Andries van Dam, Steven K. Feiner, John F. Hughes: Computer Graphics: Principles and Practice. Addison-Wesley, 1996, S. 535–539.
  4. K.P. Hart, Jun-iti Nagata, J.E. Vaughan: Encyclopedia of General Topology. Elsevier, 2003, S. 8.
  5. Roman Sikorski: Boolean Algebras. Springer, 2013, S. 66.
  6. Pavel S. Aleksandrov: Lehrbuch der Mengenlehre. 7. Auflage. Harri Deutsch, 2001, ISBN 3-8171-1657-8, S. 122.