Unterscheidung zwischen den Begriffen der paarweisen Disjunktion

1.12 Es gibt einen kleinen Unterschied zwischen den Begriffen der paarweise Disjunktheit für nicht indizierte Sammlungen von Mengen und indizierte Sammlungen von Mengen, nämlich eine indizierte Sammlung von Mengen { A ich } ich ICH kann nicht paarweise disjunkt sein, obwohl die Sammlung, C = { A ich : ich ICH } , ist paarweise disjunkt. Nennen Sie ein Beispiel, das diese Tatsache verdeutlicht.

Zwei Teilmengen A Und B von X heißen disjunkt, wenn A B = .

Eine Sammlung C von Teilmengen von X heißt paarweise disjunkt , wenn jeweils zwei verschiedene Mitglieder von C sind disjunkt.

Eine indizierte Sammlung { A ich } ich ICH von Teilmengen von X heißt paarweise disjunkt, wenn A ich A J = wann immer ich J .

Dies ist eine Frage aus einem Buch Ein Kurs in echter Analyse , aber ich kann kein Beispiel finden, um die Unterscheidung zwischen verschiedenen Begriffen zu verifizieren, ich denke immer, dass sie gleich sind, obwohl ein ganz besonderer Fall wie ein Indexsatz leer ist.

Warum nicht die beiden fraglichen Definitionen posten? Das wäre ein guter Ausgangspunkt für ein solches Problem.
Ich denke, der Unterschied ist, dass die nicht indizierte Version nur einmal identische Kopien erstellt. Der indizierte behandelt sie anders. Sie können die indizierte als Sammlung von Mengen mit disjunkter Vereinigung mit ihrem Index anzeigen
@Carl Ich habe eine Definition hinzugefügt

Antworten (1)

Wenn zwei Sätze A , B stammen aus der Sammlung C Und A B bedeutet in dieser Situation, dass A B = dann die (nicht indizierte) Sammlung C kann als „paarweise disjunkt“ bezeichnet werden. Als indizierte Sammlung betrachtet wird mehr benötigt: ich J muss das implizieren A ich A J =

Zugrunde liegt die Tatsache, dass Sie zwei unterschiedliche Indizes haben können ich J mit A ich = A J .


Beispiel:

Nehmen A ich für ich = 1 , 2 , 3 Und A 1 = A 2 Und A 1 A 3 = .

Dann Abholung { A 1 , A 2 , A 3 } = { A 1 , A 3 } ist paarweise disjunkte, aber indizierte Sammlung { A ich } ich { 1 , 2 , 3 } ist nicht.