Działanie zeroargumentowe

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

Działanie zeroargumentowe (element wyróżniony) – pojęcie służące do zapisu stałej jako działania algebraicznego. Ma ono swoje zastosowanie prawie wyłącznie jako element opisu pewnej algebry ogólnej: krotki zawierającej jako pierwszy element swój nośnik (zbiór elementów), a następnie działania.

Definicja[edytuj | edytuj kod]

Niech będzie dowolnym zbiorem. Działaniem zeroargumentowym określonym w nazywa się funkcję gdzie przez rozumie się singleton Zwykle działaniom zeroargumentowym nie przypisuje się oddzielnych oznaczeń literowych czy symbolicznych, gdyż są jednoznacznie identyfikowane przez wyróżniane przez siebie elementy (swoje obrazy).

Przykłady[edytuj | edytuj kod]

Działanie dane wzorem oznaczane zwykle przez wyróżnia element Powyższe oznacza dokładnie to samo, co stwierdzenie, że jest stałą o wartości

Ciało liczb rzeczywistych oznacza się krotką gdzie pierwszy element jest rzeczonym nośnikiem (zbiór liczb rzeczywistych), a kolejne trzy pary są działaniami, odpowiednio: dwuargumentowymi, jednoargumentowymi, zeroargumentowymi.

Zobacz też[edytuj | edytuj kod]