szukanie zaawansowane
 [ Posty: 5 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 16 maja 2019, o 16:49 
Użytkownik
Avatar użytkownika

Posty: 383
Lokalizacja: Płock/MiNI PW
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ść.
Uniwersytet Wrocławski Instytut Matematyczny - rekrutacja 2019
Góra
Mężczyzna Offline
PostNapisane: 16 maja 2019, o 17:50 
Użytkownik

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

MrCommando napisał(a):
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.


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

MrCommando napisał(a):
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.


Z wartości bezwzględnej. Tak.

MrCommando napisał(a):
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.


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.

MrCommando napisał(a):
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ść.


Dlaczego?
Góra
Mężczyzna Offline
PostNapisane: 16 maja 2019, o 17:58 
Użytkownik
Avatar użytkownika

Posty: 383
Lokalizacja: Płock/MiNI PW
Slup napisał(a):
Jeśli całkę rozumiemy jako całkę w sensie Lebesgue'a, to moim zdaniem wszystko z zadaniem jest w porządku.

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.

Slup napisał(a):
Dlaczego nie jest całkowalna skoro f(x)K(x) = f(x) i sam uważasz, że f jest całkowalna?

W sensie Riemanna nie jest, co najwyżej w sensie Lebesgue z tego co się orientuję. Jedynie bezwzględnie całkowalna.

Slup napisał(a):
Dlaczego?

Jak rozważymy funkcję f(x)+K(x) to mamy tak naprawdę funkcję Dirichleta (razy dwa) nie mającą calki Riemanna.
Góra
Mężczyzna Offline
PostNapisane: 16 maja 2019, o 18:05 
Użytkownik

Posty: 364
Lokalizacja: Warszawa
MrCommando napisał(a):
Slup napisał(a):
Jeśli całkę rozumiemy jako całkę w sensie Lebesgue'a, to moim zdaniem wszystko z zadaniem jest w porządku.

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.

Slup napisał(a):
Dlaczego nie jest całkowalna skoro f(x)K(x) = f(x) i sam uważasz, że f jest całkowalna?

W sensie Riemanna nie jest, co najwyżej w sensie Lebesgue z tego co się orientuję. Jedynie bezwzględnie całkowalna.

Slup napisał(a):
Dlaczego?

Jak rozważymy funkcję f(x)+K(x) to mamy tak naprawdę funkcję Dirichleta (razy dwa) nie mającą calki Riemanna.


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.
Góra
Mężczyzna Offline
PostNapisane: 16 maja 2019, o 18:07 
Użytkownik
Avatar użytkownika

Posty: 383
Lokalizacja: Płock/MiNI PW
Tak właśnie sądziłem :) Bardzo dziękuję!
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 5 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Rodzina funkcji.  Anonymous  0
 Analityczne wyznaczanie wzoru funkcji odwrotnej.  Anonymous  3
 sumowalność i ciągłość funkcji  jexa  0
 punkt osobliwy odosobniony funkcji  piter71  2
 zbadać ekstremum funkcji ... przy warunku ...  rzezbi  5
cron
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl