Kwadratowy cup

⊔ zwykle oznacza sumę rozłączną: łączy zbiory, zachowując oznaczenie zbioru, z którego pochodzi każdy element. Jeśli ta sama wartość występuje po obu stronach, jej dwie oznaczone wersje mogą pozostać odrębne. W teorii kategorii tę konstrukcję nazywa się też koproduktem.

Symbol tekstowy

Co oznacza ⊔

Oznacza sumę, która zachowuje odrębność składników.

W zapisie sqcup, czyli A ⊔ B, pozostaje oznaczenie wskazujące, czy dany element pochodzi z A, czy z B. Jeśli ta sama wartość występuje w obu zbiorach, może pojawić się dwa razy, z osobnym oznaczeniem pochodzenia. W teorii kategorii suma rozłączna zbiorów nazywa się koproduktem.

Jaka jest historia zapisu kwadratowego cup?

Udokumentowana data 1888 dotyczy zwykłych znaków cup i cap.

Matematyk Peano używał jako znaku sumy i jako znaku części wspólnej w 1888 roku. Ta data dokumentuje zwykły zapis cup i cap, ale nie datuje samego ⊔.

Operator kwadratowego cup jest używany w teorii mnogości, topologii, algebrze i teorii kategorii, gdy ważne jest zachowanie tożsamości każdego składnika.

Formalny zapis matematyczny, szczególnie gdy konstrukcja ma zachować informację, z którego zbioru pochodzi element.

Do zwykłej sumy używaj ; ⊔ oznacza sumę rozłączną lub konstrukcję zachowującą oznaczenia pochodzenia.