. Adamm: Wyczytałem, że przestrzeń prehilbertowska wyposażona w półnormę daną przez nieujemny iloczyn skalarny jest unormowana wtedy i tylko wtedy kiedy jest ośrodkowa. Ale mam z tym problem, jaką mam niby przy tym wziąć topologię?
27 cze 23:29
mat: troche nie rozumiem ,,półnormę daną przez nieujemny iloczyn skalarny" Czy ||x|| dana przez <x,x> nie jest normą?
27 cze 23:53
mat: inaczej, każda przestrzeń unitarna jest unormowana. Czyż nie?
27 cze 23:57
Adamm: <x, y> jest tutaj formą półtoraliniową ≥ 0, ale niekoniecznie dodatnio określoną
28 cze 00:01
mat: to ja chyba nie rozumiem emotka
28 cze 00:06
Adamm: ja też nie
28 cze 00:08
mat: w sensie, że chcesz pokazać, że jak x≠0 to <x,x> > 0 jeżeli przestrzeń jest ośrodkowa?
28 cze 00:08
Adamm: chodzi mi o to, że nie mam pojęcia o co chodziło autorowi
28 cze 00:09
mat: Ja już po studiach pare lat, ale było coś takiego jak topologia generowana przez rodzinę seminorm.. nie wiem...
28 cze 00:11
Adamm: Hmm... to może chodzi o to żeby wziąć rodzinę { x : ||x−a||<r} jako bazę topologii
28 cze 00:16
Adam: Myślę że tak. Np. https://en.m.wikipedia.org/wiki/Pseudometric_space tu tak robią
28 cze 00:43
Adamm: Chyba już rozumiem. Zinterpretowałem 'separowalna' jako 'separable' czyli ośrodkowa. Chodziło tu chyba o separowalność, w sensie rozdzielania punktów i. e. jeśli x≠y to ||x−y|| ≠ 0
28 cze 11:21
Adamm: Przestrzeń separowalna i. e. przestrzeń Hausdorffa ma to sens
28 cze 11:29
mat: ale to wtedy jest oczywiste
28 cze 14:01