Matroids Matheplanet Forum Index
Moderiert von Gockel Dune
Topologie » Mengentheoretische Topologie » Fürstenberg-Topologie [war: Notation]
Autor
Universität/Hochschule Fürstenberg-Topologie [war: Notation]
paulster
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 27.09.2020
Mitteilungen: 129
Wohnort: Wien
  Themenstart: 2020-10-16

Hallo Leute, was bedeutet folgende Notation? $B := \{a + b\mathbb{Z}: a \in \mathbb{Z}, b \in \mathbb{N}, b \geq 1\} \cup \{\emptyset\} \subset P(\mathbb{Z})$ Was bedeutet die ganzen Zahlen multipliziert mit einer natürlichen Zahl ? Wie sieht denn diese menge ca. aus ? LG Paul


   Profil
Triceratops
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 28.04.2016
Mitteilungen: 6472
Wohnort: Berlin
  Beitrag No.1, eingetragen 2020-10-16

Mit $a+b\IZ$ ist die Menge $\{a+bz : z \in \IZ\}$ gemeint. Also $\{a, a+b, a-b, a+2b,a-2b, \dotsc\}.$ Du schaust dir wohl gerade die Fürstenberg-Topologie auf $\IZ$ an?


   Profil
paulster
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 27.09.2020
Mitteilungen: 129
Wohnort: Wien
  Beitrag No.2, vom Themenstarter, eingetragen 2020-10-16

Hallo Triceratops, danke für deine rasche Antwort. Dass diese Menge so heißt, war mir garnicht bekannt, ich versuche mich gerade an den neuen Analysis Aufgaben für nächste Woche: $B := \{ a + b\mathbb{Z}, b \in \mathbb{N}, b \geq 1\} \cup \{\emptyset\} \subset P(\mathbb{Z}), \quad T := \{\bigcup_{i \in I} O_{I}: I \,Menge, O_{i} \in B\}. $ Zeige, dass $T$ eine Topologie auf $\mathbb{Z}$ ist, dass für jede Menge $O \in B$ das Komplement $\mathbb{Z} \setminus O$ in $T$ liegt, und dass jede nichtleere offene Menge unendlich viele Punkte enthält. Bestimme $\bigcup\{p\mathbb{Z}: p > 1, p \,Primzahl \}$, und folgere dass es unendlich viele Primzahlen gibt. Meintest du diese Topologie ? LG Paul


   Profil
paulster
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 27.09.2020
Mitteilungen: 129
Wohnort: Wien
  Beitrag No.3, vom Themenstarter, eingetragen 2020-10-17

Guten Morgen, hat vielleicht jemand eine Idee, wie man denn zeigt, dass jede nichtleere offene Menge unendlich viele Punkte enthält (Angabe oben) ? Zu dem zweiten Punkt hätte ich nur die Idee, dass man ganze Zahlen als Primzahlen darstellen könnte (für natürliche Zahlen Primfaktorenzerlegung) und damit die Endlichkeit begründen, wenn man denn ganze Zahlen so darstellen kann/darf ? LG Paul


   Profil
paulster
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 27.09.2020
Mitteilungen: 129
Wohnort: Wien
  Beitrag No.4, vom Themenstarter, eingetragen 2020-10-17

Jo Leute, kann man das evtl. so zeigen ? $ Sei \,A \in T\setminus\{\emptyset\}, also \,A = \bigcup_{i \in I} O_{i}: I \,Menge, O_{i} \in B.\\ Annahme: A = \{a_{1}, ... , a_{n}\} \implies \forall i \in I: O_{i} \,endlich.\\ $ Also müssen wir nun zeigen, dass eine beliebige Menge aus B nicht endlich ist. Kann man dann nicht eine Bijektion zwischen einer solchen Menge und $\mathbb{Z}$ definieren, also : $ O_{i} = \{a,a+b,a-b,...\}; \mathbb{Z} = \{0,1,-1,2,-2,...\}; \\ f: A \to \mathbb{Z}: \\ (a + bz) \to bz $ Diese Abbildung ist aber nicht bijektiv, gibts eine andere Möglichkeit, habt ihr eine Idee ? LG Paul


   Profil
paulster
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 27.09.2020
Mitteilungen: 129
Wohnort: Wien
  Beitrag No.5, vom Themenstarter, eingetragen 2020-10-17

Also im Prinzip ist es ja klar, dass eine solche Menge nicht endlich ist, aber wie zeigt man das am Besten 🤔 Oder ist das trivial ?


   Profil
PhysikRabe
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 21.12.2009
Mitteilungen: 2887
Wohnort: Rabennest
  Beitrag No.6, eingetragen 2020-10-17

\quoteon(2020-10-17 11:04 - paulster in Beitrag No. 5) Also im Prinzip ist es ja klar, dass eine solche Menge nicht endlich ist, aber wie zeigt man das am Besten 🤔 Oder ist das trivial ? \quoteoff Wenn du dir noch nicht sicher bist, ob das trivial ist oder nicht, mach dir nochmal bewusst wie die nicht-leeren offenen Mengen der Topologie aussehen. (Es genügt, eine nicht-leere Basis-Menge zu betrachten.) Die wichtige Konsequenz der Aussage ist, dass endliche Mengen nicht offen sein können. Für den Primzahlbeweis, folge der Anleitung: \quoteon(2020-10-16 20:50 - paulster in Beitrag No. 2) Bestimme $\bigcup\{p\mathbb{Z}: p > 1, p \,Primzahl \}$ \quoteoff Welche Teilmenge von $\mathbb{Z}$ ist das? Um zu schließen, dass es unendlich viele Primzahlen gibt, musst du einerseits die oben gewonnene Aussage ausnutzen, und andererseits verwenden, dass die Basis-Mengen der Topologie sowohl offen als auch abgeschlossen sind (das ist ein anderer Teil deiner Aufgabe, den du ja vielleicht schon bewiesen hast). Grüße, PhysikRabe [Verschoben aus Forum 'Analysis' in Forum 'Mengentheoretische Topologie' von PhysikRabe]


   Profil
Triceratops
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 28.04.2016
Mitteilungen: 6472
Wohnort: Berlin
  Beitrag No.7, eingetragen 2020-10-17

@paulster: $\IZ \to a + b\IZ$, $z \mapsto a+bz$ ist offensichtlich bijektiv. Jede nicht-leere offene Menge enthält eine Menge der Form $a+b\IZ$ (so ist die Topologie definiert), ist also unendlich.


   Profil
paulster
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 27.09.2020
Mitteilungen: 129
Wohnort: Wien
  Beitrag No.8, vom Themenstarter, eingetragen 2020-10-17

Danke euch beiden, also kann ich die Unendlichkeit z.B. durch diese obige Bijektion begründen ?


   Profil
PhysikRabe
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 21.12.2009
Mitteilungen: 2887
Wohnort: Rabennest
  Beitrag No.9, eingetragen 2020-10-17

\quoteon(2020-10-17 15:10 - paulster in Beitrag No. 8) Danke euch beiden, also kann ich die Unendlichkeit z.B. durch diese obige Bijektion begründen ? \quoteoff Ja, natürlich. Es ist einfach die mathematische Formulierung der (gewissermaßen offensichtlichen) Aussage, dass die nicht-leeren Basismengen der Topologie aus unendlichen arithmetischen Folgen bestehen (so sind sie ja definiert), daher unendlich sein müssen. Grüße, PhysikRabe


   Profil
paulster hat die Antworten auf ihre/seine Frage gesehen.
paulster hatte hier bereits selbst das Ok-Häkchen gesetzt.
paulster wird per Mail über neue Antworten informiert.

Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]