szukanie zaawansowane
 [ Posty: 2 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 16 lut 2018, o 22:28 
Użytkownik

Posty: 1
Lokalizacja: Katowice
https://pl.wikipedia.org/wiki/Relacja_(matematyka)#Przyk%C5%82ady

Dlaczego istnieją tylko dwie relacje zeroargumentowe?
\emptyset i \left\{ \emptyset\right\}
Czy to znaczy, że iloczyn kartezjański zera zbiorów to \left\{ \emptyset\right\} ? Dlaczego nie \emptyset po prostu?

Podobnie z relacją jednoargumentową. Dlaczego jest tak zdefiniowana, skoro nie istnieje iloczyn kartezjański jednego zbioru?
Góra
Mężczyzna Offline
PostNapisane: 16 lut 2018, o 23:25 
Administrator

Posty: 22914
Lokalizacja: Wrocław
pib13 napisał(a):
https://pl.wikipedia.org/wiki/Relacja_(matematyka)#Przyk%C5%82ady

Dlaczego istnieją tylko dwie relacje zeroargumentowe?
\emptyset i \left\{ \emptyset\right\}
Czy to znaczy, że iloczyn kartezjański zera zbiorów to \left\{ \emptyset\right\} ? Dlaczego nie \emptyset po prostu?

Nie przywiązuj się przesadnie do terminologii - ta zeroargumentowowść jest umowna. Chodzi o to, że jak definiujemy iloczyn kartezjański n zbiorów X^n, to robimy to rekurencyjnie:

\begin{cases} X^0=\{emptyset\} \\ X^1=X\\ X^{n+1}=X^n\times X \end{cases}

przy czym jak dla mnie pierwszy krok można by opuścić jako dość sztuczny (choć mający sens - jak utożsamimy X^0 ze zbiorem funkcji ze zbioru zeroelementowego (czyli pustego) w X, to istotnie jedyną taką funkcją jest funkcja pusta (czyli zbiór pusty interpretowany jako funkcja) i stąd X^0=\{emptyset\}. Podobnie można tłumaczyć, dlaczego przyjmujemy X^1=X.

Gdy już przyjmiemy taką umowę, to istotnie jedynymi podzbiorami \{emptyset\}\{emptyset\} i \emptyset.

Zresztą relacja pusta jest relacją n-argumentową dla dowolnego naturalnego n...

pib13 napisał(a):
Podobnie z relacją jednoargumentową. Dlaczego jest tak zdefiniowana, skoro nie istnieje iloczyn kartezjański jednego zbioru?

Jest tak zdefiniowana jako konsekwencja ogólnej definicji, że relacją n-argumentową nazywamy dowolny podzbiór X^n.

JK
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 2 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Czy relacja spełnia założenia?  macciej91  1
 relacja równoważności - zadanie 38  sorcerer123  3
 Sprawdź, czy relacja jest...  megafon  12
 Relacja niezwrotna  witek3  4
 Relacja równoważności i klasy abstrakcji - zadanie 6  cinek97m  4
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl