Rzut (matematyka)

Z Wikipedii

Skocz do: nawigacji, szukaj
Ujednoznacznienie Nazwa tego hasła odnosi się do więcej niż jednego pojęcia.
Przemienność tego diagramu to uniwersalność rzutu π dla dowolnego przekształcenia f i zbioru X.

Rzut – w matematyce jeden z kilku różnych rodzajów funkcji, odwzorowań, przekształceń, operacji, czy transformacji. Przykładowo danych niżej:

  • W teorii mnogości rzut to operacja wyznaczana przez j-te przekształcenie rzutowe, zapisywane \operatorname{proj}_j, które odwzorowuje element \mathbf x = (x_1, \dots, x_j, \dots, x_k) iloczynu kartezjańskiego X_1 \times \dots \times X_j \dots \times X_k na wartość \operatorname{proj}_j(\mathbf x) = x_j. Odwzorowanie to jest zawsze suriektywne.
  • W teorii kategorii powyższe pojęcie iloczynu kartezjańskiego zbiorów może być uogólnione na arbitralne kategorie. Produkt pewnych obiektów ma morfizm rzutu kanonicznego na każdy czynnik. Postać tego rzutu uzależniona jest od kategorii, np. rzut iloczynu kartezjańskiego zbiorów, topologii produktowej przestrzeni topologicznych (zawsze suriektywny i otwarty), czy iloczynu prostego grup, itd. Chociaż wiele z tych morfizmów jest epimorfizmami i są nawet suriektywne, to jednak nie zawsze musi tak być.
  • W teorii mnogości odwzorowanie przekształcające element na jego klasę abstrakcji danej relacji równoważności nazywane jest rzutem kanonicznym.
  • W algebrze liniowej przekształcenie liniowe jest nazywane rzutem, które nie ulega zmianie po dwukrotnym przyłożeniu, dla danego p zachodzi p(u) = p(p(u)), lub innymi słowy: operator idempotentny. Przykładowo odwzorowanie przeprowadzające punkt (x,y,z) przestrzeni trójwymiarowej na punkt (x,y,0) płaszczyzny jest rzutem. Ten rodzaj rzutu naturalnie uogólnia się na dowolną liczbę wymiarów n dla dziedziny i k \leqslant n dla przeciwdziedziny odwzorowania. W przypadku rzutów ortogonalnych przestrzeń daje się rozłożyć na iloczyn podprzestrzeni, a operator rzutu pozostaje rzutem również i w tym sensie.
  • W teorii mnogości odwzorowanie ewaluacyjne (brania wartości w punkcie) odwzorowuje funkcję f na wartość f(x) dla ustalonego x. Przestrzeń funkcji YX może być utożsamiana z iloczynem kartezjańskim \prod_{i \in X}~Y_i, a odwzorowanie ewaluacyjne jest przekształceniem rzutowym z iloczynu kartezjańskiego.
  • W topologii różniczkowej każda wiązka włóknista zawiera w swojej definicji przekształcenie rzutowe. Odwzorowanie to wygląda co najmniej lokalnie jak odwzorowanie rzutowe w sensie topologii produktowej, a więc jest otwarte i suriektywne.
  • W topologii retrakcja jest przekształceniem ciągłym r\colon X \to X, które ogranicza się do identyczności na podprzestrzeni. Spełnia więc on podobny warunek idempotentności r2 = r i może być uważany za uogólnienie przekształcenia rzutowego. Retrakcja homotopijna z identycznością nazywana jest retrakcją deformacyjną. Termin ten używany jest również w teorii kategorii, inną jego nazwą jest split epi (od ang. split epimorphism, zob. epimorfizm) .
  • Rzut skalarny oraz rzut wektorowy jednego wektora na inny.