Matematyka.pl

Mam kłopot z wykazaniem, że jeśli \(\displaystyle{ \left| X\right| <\left| Y\right|, }\) to \(\displaystyle{ \left| 2^X=\left\{ 0,1\right\} ^{X} \right| \le \left| 2 ^{Y}=\left\{ 0,1\right\} ^{Y} \right|. }\)

Może zacznę:

Niech \(\displaystyle{ f:X \rightarrow Y}\) będzie funkcją różnowartościową, otrzymaną na podstawie założenia, że \(\displaystyle{ \left| X\right| \le \left| Y\right|. }\) Niech \(\displaystyle{ \alpha :X \rightarrow \left\{ 0,1\right\}, }\) definiujemy \(\displaystyle{ g\left( \alpha \right) = \beta, }\) gdzie \(\displaystyle{ \beta: Y \rightarrow \left\{ 0,1\right\} }\) i teraz problem jak tą funkcję \(\displaystyle{ \beta }\) zdefiniować na całym zbiorze \(\displaystyle{ Y}\) Proszę o pomoc.

Jakub Gurak pisze: ↑28 lip 2020, o 20:31 Mam kłopot z wykazaniem, że jeśli \(\displaystyle{ \left| X\right| <\left| Y\right|, }\) to \(\displaystyle{ \left| 2^X=\left\{ 0,1\right\} ^{X} \right| \le \left| 2 ^{Y}=\left\{ 0,1\right\} ^{Y} \right|. }\)

Fuj, co za zapis. Poza tym wystarczy założyć, że \(\displaystyle{ \left| X\right| \le\left| Y\right|}\) .

Jakub Gurak pisze: ↑28 lip 2020, o 20:31Niech \(\displaystyle{ f:X \rightarrow Y}\) będzie funkcją różnowartościową, otrzymaną na podstawie założenia, że \(\displaystyle{ \left| X\right| \le \left| Y\right|. }\) Niech \(\displaystyle{ \alpha :X \rightarrow \left\{ 0,1\right\}, }\) definiujemy \(\displaystyle{ g\left( \alpha \right) = \beta, }\) gdzie \(\displaystyle{ \beta: Y \rightarrow \left\{ 0,1\right\} }\) i teraz problem jak tą funkcję \(\displaystyle{ \beta }\) zdefiniować na całym zbiorze \(\displaystyle{ Y}\) Proszę o pomoc.

\(\displaystyle{ g(\alpha)=\chi_{f\left[ \alpha^{-1}[\{1\}]\right] },}\)

gdzie \(\displaystyle{ \chi}\) to oczywiście funkcja charakterystyczna podzbioru zbioru \(\displaystyle{ Y}\).

Oczywiście można to zapisać na mnóstwo innych sposobów, ale ten zwarty wzór jest po prostu ładny.

JK