Hinweis auf die DSGVO: Auf unserer Seite werden keine Dritt-Anbieter-Cookies verwendet und nur Daten erfasst, welche für das Minimum an Board-Funktionalität notwendig sind.
Bevor Sie sich registrieren oder das Board verwenden, lesen Sie bitte zusätzlich die DSGVO-Erklärung, welche in der Navigationsleiste verlinkt ist.

Kurzfassung der unserer Meinung nach wichtigsten DSGVO-Punkte:
Es kann vorkommen, dass Benutzer eigenverantwortlich Videos oder sonstige Medien in ihren Beiträgen verlinken, welche beim Aufruf der Forenseite als Teil der Seite samt zugehörigem Material mitgeladen werden. Sollten Sie dies nicht wünschen, verwenden Sie beim Benutzen des Forums einen Blocker wie z.B. uMatrix, welcher das Laden von Inhaltsblöcken von Fremd-URLs effektiv unterbinden kann.
Wir blenden keine Werbung ein und schränken die Inhalte in keinster Weise bei Benutzung von Addblockern ein. Dadurch ist die Grundfunktionalität des Forums auch bei vollständigem Blockieren von Drittanbieter-Inhalten stets gegeben.

Cookies werden unsererseits nur verwendet um das Einloggen des Benutzers für die Dauer der Forenbenutzung zu speichern. Es steht dem Benutzer frei die Option 'Angemeldet bleiben' zu verwenden, damit der Cookie dauerhaft gespeichert bleibt und beim nächsten Besuch kein erneutes Einloggen mehr notwendig ist.
EMail-Adressen werden für Kontakt bei wichtigen Mitteilungen und zur Widerherstellung des Passwortes verwendet. Die verwendeten IPs können von uns ohne externe Hilfsmittel mit keiner realen Person in Verbindung gebracht werden und werden nach spätestens 7 Tagen gelöscht. Diese IPs werden höchstens verwendet um Neuanmeldungen unerwünschter oder gesperrter Nutzer zu identfizieren und zu unterbinden. Wir behalten uns daher vor bei Verdacht, die Frist für die IP-Löschung auf maximal 14 Tage zu verlängern.
Unsere Webseite läuft auf einem virtuellen Linux-Server, welcher von einem externen Anbieter gehostet wird. Etwaige Verstöße der DSGVO-Auflagen seitens dieses deutschen Hosters können wir nicht feststellen und somit auch nicht verfolgen.
Wir halten Backups unserer Datenbanken, welche in regelmäßigen Abständen als Schutz vor Katastrophen, Hackerangriffen und sonstigen Ausfällen erstellt werden. Sollte ein Nutzer die Löschung seiner Daten wünschen, betrachten wir es als Unzumutbar die Backups auch von den Daten zu befreien, da es sich hierbei um eine mehrtägiges Unterfangen handelt - dies ist für eine Einzelperson beim Betrieb eines privaten Forums nicht zumutbar möglich ohne das Backup komplett zu löschen.
Sollten Sie etwas gegen die dauerhafte anonyme Speicherung ihrer EMail-Adresse, ihres Pseudonyms und ihrer Beiträge in einem Backup haben, sehen Sie von der Registrierung in diesem Forum ab. Für Mitglieder, welche vor dem 25.05.2018 registriert waren steht jedoch das Recht im Raum, eine Löschung der Datenbank-Backups zu beantragen.



Wenn dies Ihr erster Besuch hier ist, lesen Sie bitte zunächst die FAQs sowie die wesentlichen Regeln zur Benutzung des Forums.
Um an den Diskussionen teilnehmen zu können, müssen Sie sich zunächst registrieren.

Deiser Mengenlehre

Mathematische Fragestellungen
Pippen
Ehrenmitglied
Ehrenmitglied
Beiträge: 1967
Registriert: 9. Jul 2010, 04:02

Re: Deiser Mengenlehre

Beitrag von Pippen » 24. Mai 2021, 15:18

ralfkannenberg hat geschrieben:
21. Mai 2021, 10:49
Pippen hat geschrieben:
21. Mai 2021, 00:45
Weiterhin g: B -> A -> A‘ -> B = B -> rng(g) = bijektiv, weil in ihr nur bereits bijektive Funktionen verkettet sind.
Vorsicht; das muss ich mir noch anschauen. Ich vermute, dass das stimmt, also dass g: B -> rng(g) bijektiv ist.
Das ist also der noch offene Punkt unseres Beweises, denn wir haben ja schon gezeigt, dass rng(g) eine echte Teilmenge von B ist.

Als erstes wäre die Frage, ob man statt g: B -> A -> A‘ -> B auch schreiben kann g: B -> rng(g). Davon gehe ich hier erstmal aus.

Dann wäre die Frage, ob g: B -> rng(g) bijektiv ist. Nun, surjektiv ist es auf jeden Fall, weil ja rng(g) per Definition von mindestens einem Element aus seiner Domain getroffen wird. Es müsste also g: B-> rng(g) auch injektiv sein und hier hilft uns, dass g: B-> rng(g) nichts anderes ist als g: B -> A -> A‘ -> B, denn trivial sind schonmal die Teile B -> A und A -> A‘ injektiv (weil sie per Voraussetzung bijektiv sind). A‘ -> B ist injektiv, weil A‘ -> A -> B trivial bijektiv und damit auch injektiv wäre und wir jederzeit die Funktionsvorschrift so legen können, dass bei A‘ -> B ein Element a’ ∈ A’ so auf B zielt, als ob es zugleich auf das a ∈ A zielt, was dann letztlich bijektiv auf B zielen würde. Durch diesen Trick „ziehen“ wir die Bijektivität von A -> B und A -> A’ zusammen auf A‘ -> B.

Ich weiß nicht, ob dich das überzeugt, aber selbst wenn dann muss es doch einen eleganteren Weg geben, es aufzuschreiben. Oder wie würdest du die Bijektion g: B -> rng(g) beweisen?

Benutzeravatar
ralfkannenberg
Ehrenmitglied
Ehrenmitglied
Beiträge: 3244
Registriert: 13. Jan 2017, 10:00

Re: Deiser Mengenlehre

Beitrag von ralfkannenberg » 24. Mai 2021, 22:51

Pippen hat geschrieben:
24. Mai 2021, 15:18
Das ist also der noch offene Punkt unseres Beweises, denn wir haben ja schon gezeigt, dass rng(g) eine echte Teilmenge von B ist.
Hallo Pippen,

"offen" in dem Sinne ist dieser Punkt nicht, denn wir brauchen das m.E. gar nicht beweisen, es wäre nur interessant zu wissen, ob dem so sei.

Pippen hat geschrieben:
24. Mai 2021, 15:18
Dann wäre die Frage, ob g: B -> rng(g) bijektiv ist. Nun, surjektiv ist es auf jeden Fall, weil ja rng(g) per Definition von mindestens einem Element aus seiner Domain getroffen wird.
Und das ist der Punkt, den ich am Bildschirm übersehen hatte.

Pippen hat geschrieben:
24. Mai 2021, 15:18
Es müsste also g: B-> rng(g) auch injektiv sein
Dass g injektiv ist dürfte ausser Zweifel stehen.

Pippen hat geschrieben:
24. Mai 2021, 15:18
und hier hilft uns, dass g: B-> rng(g) nichts anderes ist als g: B -> A -> A‘ -> B, denn trivial sind schonmal die Teile B -> A und A -> A‘ injektiv (weil sie per Voraussetzung bijektiv sind). A‘ -> B ist injektiv, weil A‘ -> A -> B trivial bijektiv und damit auch injektiv wäre und wir jederzeit die Funktionsvorschrift so legen können, dass bei A‘ -> B ein Element a’ ∈ A’ so auf B zielt, als ob es zugleich auf das a ∈ A zielt, was dann letztlich bijektiv auf B zielen würde. Durch diesen Trick „ziehen“ wir die Bijektivität von A -> B und A -> A’ zusammen auf A‘ -> B.

Ich weiß nicht, ob dich das überzeugt, aber selbst wenn dann muss es doch einen eleganteren Weg geben, es aufzuschreiben.
Vielleicht etwas umständlich, aber m.E. elegant genug. Die Injektivität ist bei der Verkettung mehrerer bijektiver Funktionen m.E. ohnehin nicht das Problem, sondern lediglich die Surjektivität, die aber natürlich durch b: B -> rng(g) gegeben ist. Sorry dass ich dieses banale Argument übersehen hatte - es fällt mir einfacher, Beweise auf einem Blatt Papier und nicht am Bildschirm zu führen.
Pippen hat geschrieben:
24. Mai 2021, 15:18
Oder wie würdest du die Bijektion g: B -> rng(g) beweisen?
Über die Verkettung von Bijektionen. Man muss einfach sicherstellen, dass die involvierten Mengen gleich des Definitionsbereiches ("dom(f)") bzw. des Wertebereiches ("rng(f)") sind.


Freundliche Grüsse, Ralf

Pippen
Ehrenmitglied
Ehrenmitglied
Beiträge: 1967
Registriert: 9. Jul 2010, 04:02

Re: Deiser Mengenlehre

Beitrag von Pippen » 28. Mai 2021, 18:05

Ok, damit wäre der erste Beweis von Deiser abgehandelt. Wir kommen zum nächsten Beweis, den ich hoffentlich jetzt richtig paraphrasiere, wobei ich eine kritische Passage, bei der ich mir etwas unsicher bin, rot markiert habe:

Satz: Wenn A ⊆ B und A unendlich, dann auch B unendlich.

Beweis: Sei A' ⊂ A und f: A -> A' sei bijektiv, was nach Dedekind aus A als unendlicher Menge folgt. Sei weiter A ⊆ B.
Sei weiter g: f ⋃ idB\A, so dass g(x) = f(x) für x ∈ A und g(x) = x für x ∈ B\A.
Dann ist wieder ein z ∈ A\A' wegen A' ⊂ A, also z ∉ A', weshalb auch z ∉ rng(g), denn rng(g) = A' ⋃ B\A ⊂ B.
Nun ist g: f ⋃ idB\A = B -> rng(g) bijektiv. Denn wegen der Definition von rng(g) ist sie jedenfalls surjektiv. Sie ist auch injektiv, weil beide Teile von g (f und idB\A) bijektiv und damit injektiv.
Also haben wir rng(g) ⊂ B und g: B -> rng(g) ist bijektiv, wodurch nach Dedekind's Definition B unendliche Menge ist. ☐

Ist das so in Ordnung?

Benutzeravatar
ralfkannenberg
Ehrenmitglied
Ehrenmitglied
Beiträge: 3244
Registriert: 13. Jan 2017, 10:00

Re: Deiser Mengenlehre

Beitrag von ralfkannenberg » 30. Mai 2021, 00:02

Pippen hat geschrieben:
28. Mai 2021, 18:05
Ist das so in Ordnung?
Hallo Pippen,

sorry, aber mir fehlt für diese Art Beweise das Interesse. Ich habe den einen jetzt durchgekäut, da gibt es immer noch (unwichtige) offene Punkte, aber das genügt mir. Die anderen werden wohl ähnlich angesetzt und durchgeführt werden.

Der Ansatz von Dedekind ist sicher gut und wichtig, nicht nur aus axiomatischer Sicht, sondern beispielsweise auch, wenn man sich mit Masstheorie und Lebesque-Integralen beschäftigt, aber wie gesagt: das tangiert nicht mein Interessensgebiet. Einen Beweis beispielhaft im Detail durchzugehen ist ok, aber für alles weitere bitte ich andere Forenuser, das zu begleiten.

So ist es für mich eigentlich banal, dass wenn gilt A ⊆ B und A unendlich, dass dann auch B unendlich, da die "Übermenge" einer unendlichen Menge ja nicht endlich sein kann. - aber ja: Dedekind benutzt eine andere Definition und da muss man natürlich solche Resultate im Rahmen dieser Definition beweisen.


Freundliche Grüsse, Ralf

Benutzeravatar
ralfkannenberg
Ehrenmitglied
Ehrenmitglied
Beiträge: 3244
Registriert: 13. Jan 2017, 10:00

Re: Deiser Mengenlehre

Beitrag von ralfkannenberg » 30. Mai 2021, 00:15

Pippen hat geschrieben:
28. Mai 2021, 18:05
Sei weiter g: f ⋃ idB\A, so dass g(x) = f(x) für x ∈ A und g(x) = x für x ∈ B\A.
Dann ist wieder ein z ∈ A\A'
Hallo Pippen,

ein Frage: auch bei diesem Beweis hast Du einen Satz weggelassen:
Dann ist g injektiv.
Das ist doch wesentlich in der Beweisführung.


Freundliche Grüsse, Ralf

Benutzeravatar
ralfkannenberg
Ehrenmitglied
Ehrenmitglied
Beiträge: 3244
Registriert: 13. Jan 2017, 10:00

Re: Deiser Mengenlehre

Beitrag von ralfkannenberg » 30. Mai 2021, 12:19

Pippen hat geschrieben:
28. Mai 2021, 18:05
g: f ⋃ idB\A = B -> rng(g)
Hallo Pippen,

was ist Dir an dieser Stelle unklar ?

Pippen hat geschrieben:
28. Mai 2021, 18:05
Ist das so in Ordnung?
Wenn ich nichts übersehen habe ist Dein Beweis in Ordnung.


Kannst Du noch einmal kurz zusammenfassen, was die Beweisidee dieser Beweise ist ?


Freundliche Grüsse, Ralf

Pippen
Ehrenmitglied
Ehrenmitglied
Beiträge: 1967
Registriert: 9. Jul 2010, 04:02

Re: Deiser Mengenlehre

Beitrag von Pippen » 31. Mai 2021, 23:20

Ja, die Beweise werden langweilig. Eigentlich sollte die Krönung noch ein Beweis sein, wonach die Wegnahme eines Elements aus einer unendlichen Menge nichts an deren Unendlichkeit ändert. Aber das lasse ich jetzt mal, ich habs bei stackexchange reingestellt: https://math.stackexchange.com/q/4155497, falls es dich interessiert und du des Englischen mächtig bist.

Ich werde jetzt weiterlesen... al sehen, wann ich mich wieder melde. 😊

Pippen
Ehrenmitglied
Ehrenmitglied
Beiträge: 1967
Registriert: 9. Jul 2010, 04:02

Re: Deiser Mengenlehre

Beitrag von Pippen » 31. Mai 2021, 23:24

ralfkannenberg hat geschrieben:
30. Mai 2021, 12:19
Pippen hat geschrieben:
28. Mai 2021, 18:05
g: f ⋃ idB\A = B -> rng(g)
Hallo Pippen,

was ist Dir an dieser Stelle unklar ?
Reine Symbolik. Es ist also wohl gleich, ob man schreibt f: A -> B oder f: A -> rng(f).

Benutzeravatar
ralfkannenberg
Ehrenmitglied
Ehrenmitglied
Beiträge: 3244
Registriert: 13. Jan 2017, 10:00

Re: Deiser Mengenlehre

Beitrag von ralfkannenberg » 1. Jun 2021, 01:52

Pippen hat geschrieben:
31. Mai 2021, 23:24
Reine Symbolik. Es ist also wohl gleich, ob man schreibt f: A -> B oder f: A -> rng(f).
Hallo Pippen,

es ist dann gleich, wenn f surjektiv ist.


Freundliche Grüsse, Ralf

Benutzeravatar
ralfkannenberg
Ehrenmitglied
Ehrenmitglied
Beiträge: 3244
Registriert: 13. Jan 2017, 10:00

Re: Deiser Mengenlehre

Beitrag von ralfkannenberg » 1. Jun 2021, 01:56

Pippen hat geschrieben:
31. Mai 2021, 23:20
Eigentlich sollte die Krönung noch ein Beweis sein, wonach die Wegnahme eines Elements aus einer unendlichen Menge nichts an deren Unendlichkeit ändert. Aber das lasse ich jetzt mal, ich habs bei stackexchange reingestellt: https://math.stackexchange.com/q/4155497, falls es dich interessiert
Hallo Pippen,

das ist eine gute Übung, stelle es doch hier vor.

Pippen hat geschrieben:
31. Mai 2021, 23:20
und du des Englischen mächtig bist.
Wenn man studiert hat, in einer internationalen Firma arbeitet und zudem immer wieder mal gerne eine Publikation liest, wird man wohl nicht umhin kommen, ein bisschen Englisch zu können ...

Vielleicht ist Dir auch schon aufgefallen, dass ich Artikel in der englischen Wikipedia erstellt habe.


Freundliche Grüsse, Ralf

Pippen
Ehrenmitglied
Ehrenmitglied
Beiträge: 1967
Registriert: 9. Jul 2010, 04:02

Re: Deiser Mengenlehre

Beitrag von Pippen » 1. Jun 2021, 02:42

Ok, wie immer: so schreibe ich es mir in mein Notizbuch, um es später erinnern zu können, d.h. so verstehe ich den Beweis halbwegs, während Deisers Superkurz-Version für mich einfach zu viele Lücken hat. Daher ist wichtig, ob meine Formulierungen den Beweis richtig nachzeichnen (nochmal der Link zu Deisers Beweis: https://www.aleph1.info/Resource?method ... ageend=109, dort dann auf S. 106) bzw. aus sich selbst heraus als Beweis standhalten.

Theorem: Be A a (dedekind-) infinite set. Then A∖x is an infinite set too.

Proof:

Be A‘⊂A and f:A→A‘ bijective (since A is dedekind-infinite).
Because of A‘⊂A there is some a∈A∖A‘.
We assume g:f with dom(f)=A∖a. g is injective (f is bijective and therefore injective which isn‘t changed by the takeaway from f‘s domain).
Now, f(a)∉rng(g) because f(a)∈rng(f) and its preimage is a∈A, but such an element is impossible in rng(g) because g forbids a preimage a∈A.
Furthermore, f(a)≠a because of rng(f)=A‘.
Furthermore a∉rng(g) because rng(g)⊆A‘.
Furthermore and trivially a∉A∖a, but f(a)∈A∖a, because f(a)≠a and else rng(f)=A‘⊂A.
Because rng(g)⊆A‘⊂A and because rng(g) misses a,f(a) while A∖a only misses a, we can conclude rng(g)⊂A∖a.
So is g:f with dom(f)=(A∖a→A‘)=(A∖a→rng(g)) bijective?
Yes, because g is injective (see above) and it‘s also surjective because of the very meaning of rng(g) to have at least a pre-image in its domain.
So we have rng(g)⊂A∖a and g:A∖a→rng(g) bijective which makes A∖a dedekind-infinite by Dedekind‘s definition.
But |A\a| = |A\x| where x is an arbitrary element of A.
Therefore A\x is dedekind-infinite too (follows from theorem that if A is infinite and |A| = |B| then also B infinite.
q.e.d.

This theorem even holds for any finite amount of n elements taken away from A because you can just apply the proof technique iteratively: A∖a can be proved to be dedekind infinite and so also (A∖a)∖a and so on for ((A∖a)∖b)...∖n.

Corrollary: Is B (dedekind-) finite then so is B∪a because if B∪a was dedekind-infinite then our above theorem would make B∖a (= B) infinite as well contrary to the assumption.
Zuletzt geändert von Pippen am 1. Jun 2021, 19:34, insgesamt 1-mal geändert.

Benutzeravatar
ralfkannenberg
Ehrenmitglied
Ehrenmitglied
Beiträge: 3244
Registriert: 13. Jan 2017, 10:00

Re: Deiser Mengenlehre

Beitrag von ralfkannenberg » 1. Jun 2021, 15:07

Pippen hat geschrieben:
31. Mai 2021, 23:20
ich habs bei stackexchange reingestellt: https://math.stackexchange.com/q/4155497
Hallo Pippen,

hast Du die Dedekind-Definition von unendlichen Mengen dort irgendwo vorgestellt ? Ich als diplomierter Mathematiker kannte diese Definition bislang nicht, auch wenn ich der Meinung bin, dass sie ausgezeichnet ist.


Freundliche Grüsse, Ralf

Pippen
Ehrenmitglied
Ehrenmitglied
Beiträge: 1967
Registriert: 9. Jul 2010, 04:02

Re: Deiser Mengenlehre

Beitrag von Pippen » 1. Jun 2021, 19:52

Eieiei, ich hab da nochmal was ergänzt, sonst hätte mein Beweis nicht gestimmt bzw. nur bewiesen, dass wenn man ein bestimmtes Element a aus A\A‘ entfernt, dann A\a unendlich ist, aber Deiser beweist ja, dass für beliebiges Elemente gilt, dass wenn man eins wegnimmt, dann A seinen Unendlichkeitsstatus nicht verliert.

Zu deiner Frage: ich habe die Dedekind‘sche Unendlichkeitsdefinition dort nicht vorgestellt, es ist ja auch nur eine Definition. Das Geniale an ihr - so finde ich - ist, dass sie Unendlichkeit ohne Zahlen definiert. Allerdings schreibt Deiser, dass sie letztlich heute zu wirkungsschwach ist, da sich viele Theoreme daraus nicht oder nur aufwändig beweisen lassen. Und es bleibt eben eine Definition. Kann auch sein, dass irgendwann jemand eine Menge A findet, die zwar zu einer ihrer echten Teilmengen A‘ bijektiv abbildbar, aber dennoch nicht unendlich ist. Ich würde da meine Hand nicht für ins Feuer legen, immerhin gilt die Definition universal, d.h. für beliebige math. Objekte in Mengenform und wer weiß, was da in Zukunft noch für komische Objekte konstruiert werden.

Benutzeravatar
ralfkannenberg
Ehrenmitglied
Ehrenmitglied
Beiträge: 3244
Registriert: 13. Jan 2017, 10:00

Re: Deiser Mengenlehre

Beitrag von ralfkannenberg » 1. Jun 2021, 21:09

Pippen hat geschrieben:
1. Jun 2021, 19:52
Und es bleibt eben eine Definition.
Hallo Pippen,

Dedekind ist ein herausragender Mathematiker und Du kannst ja mal versuchen strikte zu beweisen, dass die naive Unendlichkeitsdefinition und diejenige von Dedekind äquivalent sind.

Pippen hat geschrieben:
1. Jun 2021, 19:52
Kann auch sein, dass irgendwann jemand eine Menge A findet, die zwar zu einer ihrer echten Teilmengen A‘ bijektiv abbildbar, aber dennoch nicht unendlich ist. Ich würde da meine Hand nicht für ins Feuer legen
Das kannst Du doch beweisen, dass eine solche Konstellation gar nicht möglich ist.

Pippen hat geschrieben:
1. Jun 2021, 19:52
immerhin gilt die Definition universal, d.h. für beliebige math. Objekte in Mengenform und wer weiß, was da in Zukunft noch für komische Objekte konstruiert werden.
Damit man nicht solchen mathematischen "Verschwörungstheorien" anhängt ist es wichtig, die Äquivalenz zweier Definitionen zu beweisen. Das sind meistens sehr trockene und sehr langweilige Beweise.


Freundliche Grüsse, Ralf

Antworten