Twierdzenie Blaschkego
- mol_ksiazkowy
- Użytkownik
- Posty: 11623
- Rejestracja: 9 maja 2006, o 12:35
- Płeć: Mężczyzna
- Lokalizacja: Kraków
- Podziękował: 3173 razy
- Pomógł: 754 razy
Twierdzenie Blaschkego
Udowodnić, że z każdego nieskończonego zbioru krzywych wypukłych wspólnie ograniczonych można wyjąć ciąg zbieżny do krzywej wypukłej.
- Janusz Tracz
- Użytkownik
- Posty: 4123
- Rejestracja: 13 sie 2016, o 15:01
- Płeć: Mężczyzna
- Lokalizacja: hrubielowo
- Podziękował: 82 razy
- Pomógł: 1412 razy
Re: Twierdzenie Blaschkego
Skojarzenie:
Ostatnio zmieniony 27 maja 2024, o 06:35 przez admin, łącznie zmieniany 1 raz.
Powód: Usunięto aktywny link do strony zewnętrznej!
Powód: Usunięto aktywny link do strony zewnętrznej!
-
- Użytkownik
- Posty: 22295
- Rejestracja: 15 maja 2011, o 20:55
- Płeć: Mężczyzna
- Lokalizacja: Bydgoszcz
- Podziękował: 38 razy
- Pomógł: 3768 razy
Re: Twierdzenie Blaschkego
Funkcja wypukła na zbiorze domkniętym nie musi być ciągła
Dodano po 1 godzinie 15 minutach 51 sekundach:
A w przypadku funkcji na `\RR` każda funkcja wypukła i ograniczona jest stała, więc zadanie jest trywialne
Dodano po 1 godzinie 15 minutach 51 sekundach:
A w przypadku funkcji na `\RR` każda funkcja wypukła i ograniczona jest stała, więc zadanie jest trywialne
- timon92
- Użytkownik
- Posty: 1665
- Rejestracja: 6 paź 2008, o 16:47
- Płeć: Mężczyzna
- Lokalizacja: Katowice
- Podziękował: 7 razy
- Pomógł: 476 razy
Re: Twierdzenie Blaschkego
przypomnijmy, że przestrzeń \(K(B(0,1)) = \{K \subset B(0,1) \colon \text{$K$ jest zwarty}\}\) wyposażona w metrykę Hausdorffa \(d_H\) (tj. \(d_H(K,L)=\max(\inf\{\varepsilon>0 \colon L \subset K+B(0,\varepsilon)\}, \inf\{\varepsilon>0 \colon K \subset L+B(0,\varepsilon)\})\) jest zwartą przestrzenią metryczną (symbolem \(B(x,r)\) oznaczam koło domknięte o środku \(x\) i promieniu \(r\), a \(+\) oznacza sumę Minkowskiego zbiorów)
należy wykazać, że zbiór \(A = \{K\in K(B(0,1)) \colon \text{$K$ jest wypukły}\}\) jest zwartym podzbiorem \(K(B(0,1))\)
w tym celu wystarczy udowodnić, że \(A\) jest domkniętym podzbiorem \(K(B(0,1))\)
pokażemy, że dopełnienie \(A\) jest otwarte
jeśli \(K\notin A\), to \(K\) nie jest wypukły, czyli istnieją \(x_1,x_2\in K\) i punkt \(x \notin K\) na odcinku \(x_1x_2\), wtedy ze zwartości \(K\) wynika, że istnieje \(\varepsilon>0\) taki, że koło \(B(x,\varepsilon)\) jest rozłączne z \(K\)
wtedy kula \(\{L \colon d_H(K,L)<\varepsilon\}\) w \(K(B(0,1))\) jest rozłączna z \(A\) (jeśli \(L\) należy do tej kuli, to istnieją \(y_1, y_2\in L\) i \(y\notin L\) takie, że \(y_1\in B(x_1,\varepsilon)\), \(y_2\in B(x_2,\varepsilon)\), \(y\in B(x,\varepsilon)\) i \(y\) leży na odcinku \(y_1y_2\), zatem zbiór \(L\) nie jest wypukły)
należy wykazać, że zbiór \(A = \{K\in K(B(0,1)) \colon \text{$K$ jest wypukły}\}\) jest zwartym podzbiorem \(K(B(0,1))\)
w tym celu wystarczy udowodnić, że \(A\) jest domkniętym podzbiorem \(K(B(0,1))\)
pokażemy, że dopełnienie \(A\) jest otwarte
jeśli \(K\notin A\), to \(K\) nie jest wypukły, czyli istnieją \(x_1,x_2\in K\) i punkt \(x \notin K\) na odcinku \(x_1x_2\), wtedy ze zwartości \(K\) wynika, że istnieje \(\varepsilon>0\) taki, że koło \(B(x,\varepsilon)\) jest rozłączne z \(K\)
wtedy kula \(\{L \colon d_H(K,L)<\varepsilon\}\) w \(K(B(0,1))\) jest rozłączna z \(A\) (jeśli \(L\) należy do tej kuli, to istnieją \(y_1, y_2\in L\) i \(y\notin L\) takie, że \(y_1\in B(x_1,\varepsilon)\), \(y_2\in B(x_2,\varepsilon)\), \(y\in B(x,\varepsilon)\) i \(y\) leży na odcinku \(y_1y_2\), zatem zbiór \(L\) nie jest wypukły)