Istnienie zbioru dwupunktowe to nie będącego kulą.

Własności przestrzeni; metryczność, zwartość, spójność... Przekształcenia i deformacje... Teoria wymiaru... słowem - topologia.
Matiks21
Użytkownik
Użytkownik
Posty: 562
Rejestracja: 20 maja 2013, o 16:33
Płeć: Mężczyzna
Lokalizacja: Kielce
Podziękował: 98 razy

Istnienie zbioru dwupunktowe to nie będącego kulą.

Post autor: Matiks21 »

Hej,

Mam problem z takim żądaniem

Udowodnij że w przestrzeni metrycznej zawierającej co najmniej 3 punkty, istnieje zbiór dwupunktowy nie będący kulą, niezależnie od środka.


Proszę o wskazówkę.
matmatmm
Użytkownik
Użytkownik
Posty: 2282
Rejestracja: 14 cze 2011, o 11:34
Płeć: Mężczyzna
Lokalizacja: Sosnowiec
Podziękował: 88 razy
Pomógł: 351 razy

Re: Istnienie zbioru dwupunktowe to nie będącego kulą.

Post autor: matmatmm »

Niech \(\displaystyle{ a,b,c}\) będą parami różnymi punktami tej przestrzeni metrycznej. Załóżmy bez straty ogólności, że odległość \(\displaystyle{ \rho (a,c)}\) jest największą spośród liczb \(\displaystyle{ \rho(a,b),\rho(a,c),\rho (b,c)}\). Przypuśćmy nie wprost, że każdy zbiór dwupunktowy jest kulą. W szczególności zbiór \(\displaystyle{ \{a,c\}}\) jest kulą o środku w pewnym punkcie \(\displaystyle{ x}\) i promieniu \(\displaystyle{ r}\). Wtedy \(\displaystyle{ x\in\{a,c\}}\). Dla ustalenia uwagi załóżmy, że \(\displaystyle{ x=a}\). Wówczas \(\displaystyle{ \rho(x,b)=\rho(a,b)\leq \rho (a,c)=\rho(x,c)< r}\), co dowodzi, że \(\displaystyle{ b}\) leży w kuli \(\displaystyle{ \{a,c\}}\). Otrzymaliśmy sprzeczność.
ODPOWIEDZ