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.

Cantor's Allmenge/Allklasse

Mathematische Fragestellungen
ralfkannenberg
Ehrenmitglied
Ehrenmitglied
Beiträge: 3587
Registriert: 13. Jan 2017, 10:00

Re: Cantor's Allmenge/Allklasse

Beitrag von ralfkannenberg » 18. Mai 2017, 20:45

seeker hat geschrieben:
18. Mai 2017, 19:57
Und wenn man X = {X} zulassen würde, dann ginge z.B. das hier nicht mehr:

0 = {}
1 = { {} }
2 = { {},{{}} }
usw.

...denn dann würde gelten: 0 = 1 = 2 = 3 = ...
Hallo seeker,

das lässt sich vermeiden, wenn Du bei Mengen untereinander nicht eine "ist Element von"-Beziehung verwendest, sondern eine "ist Teilmenge von"-Beziehung verwendest.


Freundliche Grüsse, Ralf

Benutzeravatar
tomS
Ehrenmitglied
Ehrenmitglied
Beiträge: 10670
Registriert: 19. Nov 2007, 20:29

Re: Cantor's Allmenge/Allklasse

Beitrag von tomS » 19. Mai 2017, 06:23

Das Beispiel ist einfach ungeeignet
Gruß
Tom

Der Wert eines Dialogs hängt vor allem von der Vielfalt der konkurrierenden Meinungen ab.
Sir Karl R. Popper

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

Re: Cantor's Allmenge/Allklasse

Beitrag von ralfkannenberg » 19. Mai 2017, 09:50

seeker hat geschrieben:
18. Mai 2017, 19:57
Und wenn man X = {X} zulassen würde, dann ginge z.B. das hier nicht mehr:

0 = {}
1 = { {} }
2 = { {},{{}} }
usw.

...denn dann würde gelten: 0 = 1 = 2 = 3 = ...
Hallo seeker,

an sich kann man das einfach widerlegen, denn die erste Menge enthält als Leere Menge kein Element, die zweite Menge enthält 1 Element und die dritte Menge enthält 2 Elemente.

Mengen, die eine unterschiedliche Anzahl von Elementen enthalten sind also nicht gleich.

Natürlich kann man so nur bei endlichen Mengen argumentieren, aber im Allgemeinen kann man immer mit Teilmengen argumentieren.

Und da gilt:

{} ist eine echte Teilmenge von { {} } und diese ist eine echte Teilmenge von { {},{{}} }.

Und bei einer "echten Teilmengen"-Relation liegt eben keine Gleichheit vor. Natürlich können sie gleichmächtig sein, wie das Beispiel der beiden Mengen IN und IN U {0} zeigt, aber gleich sind sie nicht, denn die zweite Menge enthält das Element 0 und die erste enthält das Element 0 nicht.


Freundliche Grüsse, Ralf

Benutzeravatar
seeker
Ehrenadmin
Ehrenadmin
Beiträge: 8098
Registriert: 26. Dez 2009, 10:29

Re: Cantor's Allmenge/Allklasse

Beitrag von seeker » 19. Mai 2017, 13:38

tomS hat geschrieben:
18. Mai 2017, 20:20
Ich denke, ich weiß, worauf du hinauswillst: ich halte derartige Definitionen auch für problematisch, jedoch nicht zwingend für widersprüchlich. Dazu müsstest du erst beweisen, dass daraus zwei widersprüchliche Aussagen folgen.

Und viele Eigenschaften einer mathematischen Struktur werden in der Mathematik gerade nicht bei deren Aufbau = Definition berücksichtigt.

Bsp. 1: Mathematiker verwenden das Auswahlaxiom, ohne zu wissen, ob das daraus resultierende Axiomensystem widerspruchsfrei ist, und wohlwissend, dass im Falle überabzählbarer Mengen keine exliziten Beispiele möglich sind. Trotzdem wird das Auswahlaxiom für konkrete Beweise herangezogen.

Bsp. 2: Wiles u.a. haben den Modularitätssatz bewiesen, d.h. die Entsprechung zweier sehr unterschiedlicher mathematischen Strukturen: jeder elliptische Kurve entspricht eine Modulformen u.u.

Die Stärke der Mathematik besteht ja gerade darin, eine schlanke Definition zu finden, aus der reichhaltige Strukturen und Theoreme folgen.
Ja, das ist beachtenswert. Die Frage ist vielleicht auch: Welche Eigenschaften einer math. Struktur sollen/müssen bei deren Aufbau schon berücksichtigt sein, welche nicht?

Die Art und Weise wie wir Mathematik betreiben hängt auch mit uns selbst als Menschen zusammen, mit unserem gegebenen Wissen und unserer gegebenen Intelligenz.
Wären wir z.B. hyperintelligente Wesen, so würden wir viele Eigenschaften einer mathematischen Struktur bereits bei deren Aufbau überblicken können (die wir als beschränkte Menschen vielleicht erst nach 100 Jahren finden oder gar nie) und je nach dem, was wir wollen, bereits in die Definition einfließen lassen können.


Hallo Ralf,
dein Argument würde aber nicht mehr greifen, wenn man zuließe, dass gilt:

{}={{}}

welches sich aus dem von mir genannten

X = {X}

ergibt, nämlich dann, wenn X = {}

Unser Mengenbegriff, so wie wir ihn haben wollen, besagt nämlich nicht, dass zwei Mengen dann ungleich sind, wenn sie eine unterschiedliche Anzahl von Elementen enthalten, sondern dass sie dann ungleich sind, wenn sie eine unterschiedliche Anzahl von wohlunterscheidbaren Elementen enthalten.

Mit {}={{}}={{{}}}= ... wäre aber genau das nicht mehr gegeben, womit z.B. gelten würde:

2= { {},{{}} } = { {},{} } = { {} } = 1 = {} = 0

... also muss X ≠ {X} gelten.


Ich habe aber in pippens Link (danke!) ein Beispiel für eine Menge gefunden, die sich selbst enthält:

B = {x|x ist kein Motorrad}

damit käme so etwas heraus:

B = {Äpfel, 1, Autos, B, ...}

... weil eine Menge B kein Motorrad ist.

Ausgesprochen besagt B: "Die Menge von allem, was kein Motorrad ist"
Diese Aussage benutzt also "alles" und mit "kein" eine Negation, ist somit auch eine Menge mit unendlich vielen Elementen.
Ich habe vor das noch weiter zu analysieren, ob diese Zutaten nötig sind, um eine Menge formulieren zu können, die sich selbst enthält, ob B überhaupt konsistent ist, usw.
Mich interessiert das gerade, mit Mengen, die sich selbst enthalten, beliebig geht das sicher nicht.

Später...
Grüße
seeker


Wissenschaft ... ist die Methode, kühne Hypothesen aufstellen und sie der schärfsten Kritik auszusetzen, um herauszufinden, wo wir uns geirrt haben.
Karl Popper

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

Re: Cantor's Allmenge/Allklasse

Beitrag von ralfkannenberg » 19. Mai 2017, 14:20

seeker hat geschrieben:
19. Mai 2017, 13:38
Unser Mengenbegriff, so wie wir ihn haben wollen, besagt nämlich nicht, dass zwei Mengen dann ungleich sind, wenn sie eine unterschiedliche Anzahl von Elementen enthalten, sondern dass sie dann ungleich sind, wenn sie eine unterschiedliche Anzahl von wohlunterscheidbaren Elementen enthalten.
Hallo seeker,

danke für Deinen Hinweis - tatsächliche setze ich stets "stillschweigend" (und der Einfachheit halber) voraus, dass in der Menge kein Element mehrfach aufgelistet wird.


Freundliche Grüsse, Ralf

Antworten