0 Daumen
361 Aufrufe

Hallo zusammen



Ich soll gerade einen Beweis über Projektionen von Relationen schreiben und ich komme hier nicht so ganz weiter:

Wenn dort steht: AIA\downarrow_I, wie kann man das in erweiterter Form hinschreiben? Also wenn man z.B. ACA\setminus C sagt, kann man das zu xAxCx\in A \wedge x\notin C vereinfachen.
Also wie würde das für AIA\downarrow_I gehen, oder läst man das wie es ist?


Danke schonmal im Voraus

Avatar von

Was bedeutet denn diese Symbolik ?

Wenn wir die Menge haben: A = {(a, 1, q), (b, 2, w), (c, 3, e), (d, 4, r)}, dann wird mit A2={1,2,3,4}A\downarrow_2 = \{1, 2, 3, 4\} das zweite Element von jedem Tupel in der Menge "herausgefiltert", also sodass nur alle Elemente, die diesen Index in den Tupeln hatten, in der Ergebnismenge vorliegen.

Üblicherweise wird die Projektionsabbildung mit πi\pi_i, pip_i oder pripr_i

bezeichnet.

pri : A1××AnAi,  (a1,,an)aipr_i:A_1\times\cdots \times A_n\rightarrow A_i,\; (a_1,\cdots,a_n) \mapsto a_i.

Dein A2A\downarrow _2 wird dann als pr2(A)pr_2(A) bezeichnet.

Vermutlich musst du es so lassen, wie es ist; denn es ist nicht

klar, was hier eine "erweiterte Form" bedeuten soll.

Okay, alles klar, vielen Dank :)

Ein anderes Problem?

Stell deine Frage