Nehmen wir an, ich habe einen Satz . Jetzt muss ich beispielsweise auf das Element zugreifen von . Wie erreiche ich das?
Ich weiß, dass Mengen eine ungeordnete Liste von Elementen sind, aber ich muss auf die Elemente einer Menge zugreifen. Kann ich das mit einem Tupel erreichen? Wie , soll ich schreiben um auf das i-te Element von zuzugreifen ? Oder gibt es eine andere Notation?
Wenn ich eine Liste von Elementen habe, welches ist das beste mathematische Objekt, um es darzustellen, damit ich frei auf seine Elemente zugreifen kann, und wie? Beim Programmieren würde ich
arrays
.
Sie sprechen von dem Indexoperator, den man oft in der Programmierung findet, wenn man Arrays verwendet. Da Mengen ungeordnet sind, macht es keinen Sinn, dies mit Mengen zu tun, as .
Sie möchten wahrscheinlich ein Tupel verwenden , das nur eine (endliche) Folge von Elementen ist und so bezeichnet wird, wie Sie es geschrieben haben . Wenn ein Tupel ist, dann denke ich, dass die gebräuchlichste Art, es zu indizieren, die Verwendung von Indizes ist - so Und und so weiter, obwohl man manchmal sieht Und ebenso, da kann man sich denken als Funktion aus der Menge Zu . Gelegentlich sieht man sogar Und . Was wirklich zählt, ist, dass Sie beim Schreiben von Indizes konsistent und klar sind.
In einer allgemeinen Menge gibt es keine Indizierung, außer der trivialen: einer Menge wird von selbst indiziert, d.h. Wo .
Tatsächlich kann es in der Mengenlehre ohne das Axiom der Wahl Mengen geben, die unmöglich "schön zu indizieren" sind, obwohl dies natürlich Arbeit erfordert, um sie präzise zu machen.
Die von Ihnen beschriebene allgemeine Aufgabe ist also entweder trivial (wenn Sie zulassen, dass sich ein Satz selbst indiziert) oder unmöglich.
Das heißt, in eingeschränkten Kontexten können wir es besser machen. Angenommen, wir betrachten ausschließlich endliche Mengen reeller Zahlen . Dann ist jede solche Menge natürlich nach Kardinalität geordnet, das heißt, wir können von der sprechen kleinste Element einer Menge.
Die Tatsache, dass eine Menge per Definition "ungeordnet" ist, hindert Sie nicht daran, eine Ordnung darauf zu definieren. Tatsächlich kann nach dem Axiom of Choice jede Menge durch eine Ordnungszahl indiziert werden.
Dan Rost
Zir
Zir
Zir