|
Autor |
Fürstenberg-Topologie [war: Notation] |
|
paulster
Aktiv  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  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  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  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  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  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  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  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  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  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. |
|
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]
|