Pokazać, że funkcja jest mierzalna.

[pawlo392]

Mamy przestrzeń mierzalną \(\displaystyle{ (X,\Sigma, \mu)}\). Pokazać, że jeśli \(\displaystyle{ f: X \rightarrow \RR}\) jest funkcją mierzalną to funkcja \(\displaystyle{ f_A}\) dana wzorem :
\(\displaystyle{ f_A(x)=\begin{cases} -A &\text{jeśli } f(x)<-A\\f(x) &\text{jeśli }|f(x)| \le A \\A &\text{jeśli} f(x)>A \end{cases}}\)

jest mierzalna.

[szw1710]

Zapisz tę funkcję jako coś typu \(\displaystyle{ \chi_{U_1}(x)f(x)+\chi_{U_2}|f(x)|+\chi_{U_3}f(x).}\) Moduł funkcji mierzalnej jest mierzalny, iloczyn funkcji mierzalnych jest mierzalny, to samo z sumą.

[pawlo392]

Chyba nie zrozumiałem dobrze..

[szw1710]

A wiesz co to jest \(\displaystyle{ \chi_B}\), gdzie \(\displaystyle{ B}\) jest zbiorem?

[pawlo392]

Czy mówimy o funkcji charakterystycznej?

[leg14]

tak

[pawlo392]

Rozumiem. W jaki sposób tę funkcje powiązać ?

[leg14]

szw1710, Ci napisał. Zastanów się chwilę.

[Dasio11]

Zapisz tę funkcję jako coś typu \(\displaystyle{ \chi_{U_1}(x)f(x)+\chi_{U_2}|f(x)|+\chi_{U_3}f(x).}\)

Nie da się. Na przykład jeśli \(\displaystyle{ A = \frac{1}{2}}\) i \(\displaystyle{ f(x) = x,}\) to \(\displaystyle{ f_A(1) = \frac{1}{2},}\) a powyższa formuła zawsze da liczbę całkowitą.

[leg14]

Nie zawsze da liczbe całkowita. Szw1710 miał na mysli - \(\displaystyle{ \chi_{U_1}(x) \cdot f(x)+\chi_{U_2}(x) \cdot |f(x)|+\chi_{U_3}(x) \cdot f(x).}\)

[szw1710]

Generalnie chodzi o sprytny zapis funkcji określonej kilkoma wzorami. W informatyce robi się to formułą logiczną. W matematyce robi za nią funkcja charakterystyczna, której gdyby przyjrzeć się bliżej, bardzo blisko do logiki.

Proponuję zobaczyć jak działa funkcja \(\displaystyle{ h(x)=\chi_U(x)f(x)+\chi_V(x)g(x)}\). Na wykresie. Wtedy można dostrzec ideę tego co proponuję. To absolutny standard w teorii miary.

[Dasio11]

Nie zawsze da liczbe całkowita.

Dla \(\displaystyle{ x=1}\) - zawsze (tzn. niezależnie od zbiorów \(\displaystyle{ U_1, U_2, U_3}\)). Więc nie będzie równe \(\displaystyle{ f_A(1).}\)

[pawlo392]

Wystarczy zapisać\(\displaystyle{ f_A(x)=-A \chi_{U_1}+ f(x)\chi_{U_2}+ A \chi_{U_3}.}\)

[leg14]

Dasio11, myslalem, ze chodzilo o dowolna funkcje f.