Pokazać że odwzorowanie jest bijekcją

Algebra zbiorów. Relacje, funkcje, iloczyny kartezjańskie... Nieskończoność, liczby kardynalne... Aksjomatyka.
pc
Użytkownik
Użytkownik
Posty: 145
Rejestracja: 8 gru 2008, o 13:14
Płeć: Mężczyzna
Lokalizacja: okolice Krakowa
Podziękował: 27 razy

Pokazać że odwzorowanie jest bijekcją

Post autor: pc »

Proszę pokazać że odwzorowanie \(\displaystyle{ B: \mathbb{N} \times \mathbb{N} \rightarrow \mathbb{N}}\) jest bijekcją:
\(\displaystyle{ B(n,m)= {n+m+1 \choose 2} +n}\)

Jeszcze napiszę jak rozpisałem ten symbol, bo być może pomyliłem się w tym:
\(\displaystyle{ \frac{(n+m+1)!}{2!((n+m+1)-2)!} = \frac{(n+m+1)!}{4(n+m-1)}}\)

Niestety oprócz tego prostego rozpisania nie wiem w jaki sposób dalej postępować, znam ogólne warunki suriekcji i injekcji, ale nie wiem jak je tutaj zastosować.
Ostatnio zmieniony 11 gru 2009, o 14:23 przez pc, łącznie zmieniany 1 raz.
Jan Kraszewski
Administrator
Administrator
Posty: 36051
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 6 razy
Pomógł: 5341 razy

Pokazać że odwzorowanie jest bijekcją

Post autor: Jan Kraszewski »

Źle rozpisałeś symbol, ma być

\(\displaystyle{ B(n,m)=\frac{(n+m)(n+m+1)}{2}+n}\).

JK
pc
Użytkownik
Użytkownik
Posty: 145
Rejestracja: 8 gru 2008, o 13:14
Płeć: Mężczyzna
Lokalizacja: okolice Krakowa
Podziękował: 27 razy

Pokazać że odwzorowanie jest bijekcją

Post autor: pc »

Hm, a z jakiej definicji tutaj korzystasz?
W wikipedii jest taka:
\(\displaystyle{ {n \choose k} = \frac{n!}{k!(n-k)!}}\)
Jan Kraszewski
Administrator
Administrator
Posty: 36051
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 6 razy
Pomógł: 5341 razy

Pokazać że odwzorowanie jest bijekcją

Post autor: Jan Kraszewski »

I z takiej korzystam (tak, jak i Ty). Natomiast zupełnie nie wiem, skąd to
\(\displaystyle{ \frac{(n+m+1)!}{4(n+m-1)}}\)
wziąłeś.

JK
pc
Użytkownik
Użytkownik
Posty: 145
Rejestracja: 8 gru 2008, o 13:14
Płeć: Mężczyzna
Lokalizacja: okolice Krakowa
Podziękował: 27 razy

Pokazać że odwzorowanie jest bijekcją

Post autor: pc »

faktycznie pomyliłem się, 2! = 2, a nie 4
\(\displaystyle{ \frac{(n+m+1)!}{2(n+m-1)}}\)
Czy teraz jest prawidłowo?

-- 11 grudnia 2009, 12:39 --

Bo nie do końca wiem skąd się wzięło to co napisałeś powyżej. Mógłbym prosić o lepsze rozpisanie tego?
Jan Kraszewski
Administrator
Administrator
Posty: 36051
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 6 razy
Pomógł: 5341 razy

Pokazać że odwzorowanie jest bijekcją

Post autor: Jan Kraszewski »

Zgubiłeś silnię.

\(\displaystyle{ \frac{(n+m+1)!}{2!((n+m+1)-2)!} = \frac{(n+m+1)!}{2(n+m-1)!}}\)

JK
pc
Użytkownik
Użytkownik
Posty: 145
Rejestracja: 8 gru 2008, o 13:14
Płeć: Mężczyzna
Lokalizacja: okolice Krakowa
Podziękował: 27 razy

Pokazać że odwzorowanie jest bijekcją

Post autor: pc »

I teraz... w jaki sposób pokazać że jest to bijekcja?
Jan Kraszewski
Administrator
Administrator
Posty: 36051
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 6 razy
Pomógł: 5341 razy

Pokazać że odwzorowanie jest bijekcją

Post autor: Jan Kraszewski »

Różnowartościowość np. tak.

Weź rosnącą funkcję pomocniczą \(\displaystyle{ f:\mathbb{N} \rightarrow \mathbb{N}}\), \(\displaystyle{ f(k)=\frac{(k+1)k}2}\). Zauważ, że \(\displaystyle{ f(n+m)\le B(n,m)<f(n+m+1)}\).
Jeśli zatem \(\displaystyle{ B(n,m)=B(a,b)}\), to musi być \(\displaystyle{ n+m=a+b}\) i już łatwo skończyć.

To, że jest "na" też można pokazać korzystając funkcji pomocniczej.

JK
ODPOWIEDZ