Definicja pary uporządkowanej
Definicja pary uporządkowanej
Czy można zdefiniować parę uporządkowaną w następujący sposób:
\(\displaystyle{ \left( x,y\right)=\left\{ \left\{ x\right\},y \right\}}\) ?
\(\displaystyle{ \left( x,y\right)=\left\{ \left\{ x\right\},y \right\}}\) ?
-
- Użytkownik
- Posty: 2284
- Rejestracja: 14 cze 2011, o 11:34
- Płeć: Mężczyzna
- Lokalizacja: Sosnowiec
- Podziękował: 88 razy
- Pomógł: 351 razy
Re: Definicja pary uporządkowanej
Sprawdź, czy dla takiej definicji prawdziwa jest własność \(\displaystyle{ (x,y)=(x',y')\iff\left( x=x' \wedge y=y'\right)}\)
Jeśli tak będzie, to taka definicja będzie sensowna, gdyż operując na parach uporządkowanych korzysta się głównie z tej własności. A ogólnie to każdy może sobie zdefiniować wszystko jak mu się tam podoba, tylko pytanie, czy będzie to zgodne z intuicją i powszechnie przyjętymi definicjami.
Jeśli tak będzie, to taka definicja będzie sensowna, gdyż operując na parach uporządkowanych korzysta się głównie z tej własności. A ogólnie to każdy może sobie zdefiniować wszystko jak mu się tam podoba, tylko pytanie, czy będzie to zgodne z intuicją i powszechnie przyjętymi definicjami.
Definicja pary uporządkowanej
Myślałem że to będzie sensowne utożsamiać poprzednik pary uporządkowanej ze zbiorem a następnik z elementem i zbiorowi dać pierwszeństwo.
-- 6 lis 2017, o 18:04 --
Ale ta definicja nie działa na sumach i iloczynach uogólnionych.
Nie rozumiem dlaczego iloczyn uogólniony par uporządkowanych\(\displaystyle{ \left( x,y\right)}\) równa się \(\displaystyle{ \left\{ x\right\}}\) i dlaczego suma uogólniona równa się \(\displaystyle{ \left\{ x,y\right\}}\)-- 6 lis 2017, o 18:16 --Mam na myśli definicję:\(\displaystyle{ \left\{ \left\{ x,\right\}\left\{x,y \right\}\right\}}\)
-- 6 lis 2017, o 18:04 --
Ale ta definicja nie działa na sumach i iloczynach uogólnionych.
Nie rozumiem dlaczego iloczyn uogólniony par uporządkowanych\(\displaystyle{ \left( x,y\right)}\) równa się \(\displaystyle{ \left\{ x\right\}}\) i dlaczego suma uogólniona równa się \(\displaystyle{ \left\{ x,y\right\}}\)-- 6 lis 2017, o 18:16 --Mam na myśli definicję:\(\displaystyle{ \left\{ \left\{ x,\right\}\left\{x,y \right\}\right\}}\)
-
- Administrator
- Posty: 34486
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy
Definicja pary uporządkowanej
No to jest klasyczna definicja Kuratowskiego. Co wg Ciebie jest z nią nie tak?login1977 pisze:Mam na myśli definicję:\(\displaystyle{ \left\{ \left\{ x\right\}\red,\black\left\{x,y \right\}\right\}}\)
JK
Definicja pary uporządkowanej
Nie rozumiem dlaczego iloczyn uogólniony par uporządkowanych\(\displaystyle{ \left( x,y\right)}\) równa się \(\displaystyle{ \left\{ x\right\}}\) i dlaczego suma uogólniona równa się\(\displaystyle{ \left\{ x,y\right\}}\)
W wyniku tych operacji powinny wyjść pary uporządkowane.
W wyniku tych operacji powinny wyjść pary uporządkowane.
-
- Administrator
- Posty: 34486
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy
Definicja pary uporządkowanej
Nie do końca rozumiem, o co Ci chodzi. Mógłbyś to jakoś sformalizować?login1977 pisze:Nie rozumiem dlaczego iloczyn uogólniony par uporządkowanych\(\displaystyle{ \left( x,y\right)}\) równa się \(\displaystyle{ \left\{ x\right\}}\) i dlaczego suma uogólniona równa się\(\displaystyle{ \left\{ x,y\right\}}\)
JK
-
- Użytkownik
- Posty: 2284
- Rejestracja: 14 cze 2011, o 11:34
- Płeć: Mężczyzna
- Lokalizacja: Sosnowiec
- Podziękował: 88 razy
- Pomógł: 351 razy
Re: Definicja pary uporządkowanej
Ja się domyślam, że chodzi o iloczyn (mnogościowy) pary uporządkowanej jako zbioru, czyli \(\displaystyle{ \bigcap\{\{x,y\},\{x\}\}}\)
Definicja pary uporządkowanej
\(\displaystyle{ \bigcap_{}^{}\left\{ \left\{ x\right\},\left\{ x,y\right\} \right\}=\left\{ x\right\}}\).
Czyli \(\displaystyle{ \bigcap_{}^{} \left( x,y\right)=\left\{ x\right\}}\)
Czyli \(\displaystyle{ \bigcap_{}^{} \left( x,y\right)=\left\{ x\right\}}\)
-
- Administrator
- Posty: 34486
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy
Definicja pary uporządkowanej
No dobrze. I co z tego?login1977 pisze:Czyli \(\displaystyle{ \bigcap_{}^{} \left( x,y\right)=\left\{ x\right\}}\)
JK
Re: Definicja pary uporządkowanej
Jak uogólniony iloczyn par uporządkowanych może być równy zbiorowi do którego należy tylko poprzednik.
-
- Administrator
- Posty: 34486
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy
Re: Definicja pary uporządkowanej
To NIE JEST uogólniony iloczyn par uporządkowanych, tylko uogólniony iloczyn pary uporządkowanej, a to zupełnie co innego.
Zresztą rozważanie uogólnionego iloczynu pary uporządkowanej nie ma matematycznego sensu.
JK
Zresztą rozważanie uogólnionego iloczynu pary uporządkowanej nie ma matematycznego sensu.
JK
Re: Definicja pary uporządkowanej
Natknąłem się na to w książce Iana Stewarta pt.: Podstawy matematyki no i nie bardzo rozumiem o co chodzi w iloczynie uogólnionym pary.
A czy ta podana przeze mnie definicja jest sensowna?-- 6 lis 2017, o 19:45 --\(\displaystyle{ \left( x, y\right)=\left\{ \left\{ x\right\}, y\right\}}\)
A czy ta podana przeze mnie definicja jest sensowna?-- 6 lis 2017, o 19:45 --\(\displaystyle{ \left( x, y\right)=\left\{ \left\{ x\right\}, y\right\}}\)
-
- Administrator
- Posty: 34486
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 4 razy
- Pomógł: 5220 razy
Re: Definicja pary uporządkowanej
Iloczyn uogólniony pary ma wyłącznie sens formalny, w zwykłej matematyce nie ma to sensu. Może coś niedokładnie zacytowałeś?login1977 pisze:Natknąłem się na to w książce Iana Stewarta pt.: Podstawy matematyki no i nie bardzo rozumiem o co chodzi w iloczynie uogólnionym pary.
To jest klasyczna definicja. trzeba jednak mieć świadomość, że używa się jej w zasadzie tylko w teorii mnogości. Poza tą dziedziną nie ma potrzeby formalnego definiowania pary uporządkowanej.login1977 pisze:A czy ta podana przeze mnie definicja jest sensowna?
JK
Re: Definicja pary uporządkowanej
Chodzi mi o tą definicję: \(\displaystyle{ \left( x,y\right)=\left\{ \left\{ x\right\},y \right\}}\) a nie Kuratowskiego.
Czy może są one równoważne?-- 6 lis 2017, o 20:16 --O definicję Kuratowskiego chodziło mi jedynie odnośnie iloczynów i sum uogólnionych pary uporządkowanej.
Czy może są one równoważne?-- 6 lis 2017, o 20:16 --O definicję Kuratowskiego chodziło mi jedynie odnośnie iloczynów i sum uogólnionych pary uporządkowanej.