Przestrzeń funkcji bezwzględnie całkowalnych

Analiza funkcjonalna, operatory liniowe. Analiza na rozmaitościach. Inne zagadnienia analizy wyższej
Awatar użytkownika
MrCommando
Użytkownik
Użytkownik
Posty: 477
Rejestracja: 5 gru 2016, o 21:55
Płeć: Mężczyzna
Lokalizacja: Płock/MiNI PW

Przestrzeń funkcji bezwzględnie całkowalnych

Post autor: MrCommando » 16 maja 2019, o 16:49

Mam w zadaniu daną przestrzeń \(\mathcal{L}^1\left(\left[a,b\right]\right)\) funkcji bezwzględnie całkowalnych z normą daną wzorem \(\left|\left| f \right|\right|=\int_{a}^{b}\left|f(t)\right| \mbox{d}t\) dla \(f\in\mathcal{L}^1\left(\left[a,b\right]\right)\). Niech \(K\in C\left(\left[a,b\right]\right)\). Definiujemy odwzorowanie \(T(f)(x)=\int_{a}^{x} f(t)K(t)\mbox{d}t\) dla \(f\in\mathcal{L}^1\left(\left[a,b\right]\right)\).

Mniejsza o to, co mam z tym zrobić. Piszę dlatego, że mam wrażenie, że w treści zadania jest błąd. Na przykład weźmy \(f(x)= \begin{cases} 1 \textnormal{ dla } x\in\mathbb{Q}\\ -1 \textnormal{ dla } x\notin\mathbb{Q}\end{cases}\) określoną na przedziale \(\left[0,1\right]\) oraz \(K(x)\equiv 1\) na tym samym przedziale. Wtedy przecież \(f\in\mathcal{L}^1\left(\left[a,b\right]\right)\), ale funkcja \(f(x)K(x)\) nie jest całkowalna. Czy to jest niepoprawnie sformułowane zadanie, czy to ja czegoś nie rozumiem? Myślę, że aby dane odwzorowanie było dobrze zdefiniowane, to trzeba by napisać \(T(f)(x)=\int_{a}^{x} \left|f(t)\right|K(t)\mbox{d}t\). W internecie nie znalazłem zbytnio informacji na ten temat, ale rozumiem że funkcja bezwzględnie całkowalna na przedziale, to taka, że istnieje całka z jej modułu.

EDIT: A no i sama ta norma mnie dziwi. Na przyklad jak rozważymy funkcję nieujemną która w każdym punkcie przedziału poza jednym przyjmuje wartość zero, to jej norma jest równa zero, mimo że ta funkcja nie jest wektorem zerowym. Przyszło mi do głowy jeszcze, że jak rozważymy sumę tych dwóch funkcji, które na początku podałem jako przykład, to mimo że obie są bezwzględnie całkowalne, to ich suma nie. Więc wynikałoby, że to nawet nie jest przestrzeń liniowa - raczej wynika z tego, że źle chyba rozumiem co to znaczy bezwzględna całkowalność.

Slup
Użytkownik
Użytkownik
Posty: 368
Rejestracja: 27 maja 2016, o 20:49
Płeć: Mężczyzna
Lokalizacja: Warszawa

Przestrzeń funkcji bezwzględnie całkowalnych

Post autor: Slup » 16 maja 2019, o 17:50

Jeśli całkę rozumiemy jako całkę w sensie Lebesgue'a, to moim zdaniem wszystko z zadaniem jest w porządku.

[quote="MrCommando"]
Mniejsza o to, co mam z tym zrobić. Piszę dlatego, że mam wrażenie, że w treści zadania jest błąd. Na przykład weźmy \(f(x)= \begin{cases} 1 \textnormal{ dla } x\in\mathbb{Q}\\ -1 \textnormal{ dla } x\notin\mathbb{Q}\end{cases}\) określoną na przedziale \(\left[0,1\right]\) oraz \(K(x)\equiv 1\) na tym samym przedziale. Wtedy przecież \(f\in\mathcal{L}^1\left(\left[a,b\right]\right)\), ale funkcja \(f(x)K(x)\) nie jest całkowalna.[/quote]

Dlaczego nie jest całkowalna skoro \(f(x)K(x) = f(x)\) i sam uważasz, że \(f\) jest absolutnie całkowalna?

[quote="MrCommando"]
W internecie nie znalazłem zbytnio informacji na ten temat, ale rozumiem że funkcja bezwzględnie całkowalna na przedziale, to taka, że istnieje całka z jej modułu.
[/quote]

Z wartości bezwzględnej. Tak.

[quote="MrCommando"]
EDIT: A no i sama ta norma mnie dziwi. Na przyklad jak rozważymy funkcję nieujemną która w każdym punkcie przedziału poza jednym przyjmuje wartość zero, to jej norma jest równa zero, mimo że ta funkcja nie jest wektorem zerowym. [/quote]

Technicznie rzecz biorąc jest to pół-norma na przestrzeni tych funkcji. Pół-norma ma wszystkie własności normy poza tym, że \(||v|| = 0\) niekoniecznie pociąga za sobą \(v=0\).

[quote="MrCommando"]
Przyszło mi do głowy jeszcze, że jak rozważymy sumę tych dwóch funkcji, które na początku podałem jako przykład, to mimo że obie są bezwzględnie całkowalne, to ich suma nie. Więc wynikałoby, że to nawet nie jest przestrzeń liniowa - raczej wynika z tego, że źle chyba rozumiem co to znaczy bezwzględna całkowalność.[/quote]

Dlaczego?

Awatar użytkownika
MrCommando
Użytkownik
Użytkownik
Posty: 477
Rejestracja: 5 gru 2016, o 21:55
Płeć: Mężczyzna
Lokalizacja: Płock/MiNI PW

Przestrzeń funkcji bezwzględnie całkowalnych

Post autor: MrCommando » 16 maja 2019, o 17:58

[quote="Slup"]Jeśli całkę rozumiemy jako całkę w sensie Lebesgue'a, to moim zdaniem wszystko z zadaniem jest w porządku.
[/quote]
Jestem na pierwszym roku. Teoria miary i całki dopiero za semestr. To zadanie jest przy okazji analizy wielu zmiennych i różniczek odwzorowań na przestrzeniach unormowanych.

[quote="Slup"]
Dlaczego nie jest całkowalna skoro \(f(x)K(x) = f(x)\) i sam uważasz, że \(f\) jest całkowalna?
[/quote]
W sensie Riemanna nie jest, co najwyżej w sensie Lebesgue z tego co się orientuję. Jedynie bezwzględnie całkowalna.

[quote="Slup"]
Dlaczego?
[/quote]
Jak rozważymy funkcję \(f(x)+K(x)\) to mamy tak naprawdę funkcję Dirichleta (razy dwa) nie mającą calki Riemanna.

Slup
Użytkownik
Użytkownik
Posty: 368
Rejestracja: 27 maja 2016, o 20:49
Płeć: Mężczyzna
Lokalizacja: Warszawa

Przestrzeń funkcji bezwzględnie całkowalnych

Post autor: Slup » 16 maja 2019, o 18:05

[quote="MrCommando"][quote="Slup"]Jeśli całkę rozumiemy jako całkę w sensie Lebesgue'a, to moim zdaniem wszystko z zadaniem jest w porządku.
[/quote]
Jestem na pierwszym roku. Teoria miary i całki dopiero za semestr. To zadanie jest przy okazji analizy wielu zmiennych i różniczek odwzorowań na przestrzeniach unormowanych.

[quote="Slup"]
Dlaczego nie jest całkowalna skoro \(f(x)K(x) = f(x)\) i sam uważasz, że \(f\) jest całkowalna?
[/quote]
W sensie Riemanna nie jest, co najwyżej w sensie Lebesgue z tego co się orientuję. Jedynie bezwzględnie całkowalna.

[quote="Slup"]
Dlaczego?
[/quote]
Jak rozważymy funkcję \(f(x)+K(x)\) to mamy tak naprawdę funkcję Dirichleta (razy dwa) nie mającą calki Riemanna.[/quote]

Jeśli jesteś na pierwszym roku, to powinieneś zgłosić reklamację do prowadzącego. Możesz też zrobić to zadanie wstawiając w miejsce \(L^1([a,b])\) przestrzeń \(C([a,b])\) (w przyszłym semestrze zamienisz znowu w rozwiązaniu oznaczenia i będziesz miał rozwiązanie dla przestrzeni funkcji całkowalnych w sensie Lebesgue'a).

Poza tym przy interpretacji całki jako całki Riemanna wszystkie Twoje uwagi są zasadne.
Ostatnio zmieniony 16 maja 2019, o 18:08 przez Slup, łącznie zmieniany 1 raz.

Awatar użytkownika
MrCommando
Użytkownik
Użytkownik
Posty: 477
Rejestracja: 5 gru 2016, o 21:55
Płeć: Mężczyzna
Lokalizacja: Płock/MiNI PW

Przestrzeń funkcji bezwzględnie całkowalnych

Post autor: MrCommando » 16 maja 2019, o 18:07

Tak właśnie sądziłem Bardzo dziękuję!

ODPOWIEDZ