V Punkt skupienia zbioru. Pojęcie granicy w punkcie. Granice jednostronne. Ciągłość funkcji. Homeomorfizmy.

Definicja

Niech 0x01 graphic
będzie p-nią metryczną oraz 0x01 graphic
. Mówimy, że 0x01 graphic
jest punktem skupienia zbioru A, gdy

0x01 graphic

Zbiór punktów skupienia zbioru A oznaczamy przez Ad i nazywamy pochodną zbioru A

Definicja

0x01 graphic
to p nazywamy punktem izolowanym.

Definicja Cauchy'ego

Niech 0x01 graphic
, 0x01 graphic
będą p-niami metrycznymi. Załóżmy, że dany jest zbiór 0x01 graphic
i funkcja 0x01 graphic
oraz niech 0x01 graphic
będzie punktem skupienia zbioru E. Mówimy, że punkt

0x01 graphic
jest granicą funkcji f w punkcie p, gdy

0x01 graphic

Oznaczmy 0x01 graphic
0x01 graphic
.

Definicja Heinego

Niech 0x01 graphic
, 0x01 graphic
będą p-niami metrycznymi. Załóżmy, że dany jest zbiór 0x01 graphic
i funkcja 0x01 graphic
oraz niech 0x01 graphic
będzie punktem skupienia zbioru E. Mówimy, że punkt 0x01 graphic
jest granicą funkcji f w punkcie p, gdy

0x01 graphic
0x01 graphic

Definicja

Niech 0x01 graphic
będzie p-nią metryczną, 0x01 graphic
i 0x01 graphic
wówczas

a) 0x01 graphic
0x01 graphic
0x01 graphic
0x01 graphic

b) 0x01 graphic
0x01 graphic
0x01 graphic
0x01 graphic
.

Definicja

Załóżmy, że 0x01 graphic
.

a). niech p będzie punktem skupienia zbioru 0x01 graphic
. Granicę 0x01 graphic
0x01 graphic
nazywamy granica lewostronną funkcji f w punkcie p i oznaczmy przez 0x01 graphic
lub f(p-).

b). niech p będzie punktem skupienia zbioru 0x01 graphic
. Granicę 0x01 graphic
0x01 graphic
nazywamy granicą prawostronną funkcji f w punkcie p i oznaczamy przez 0x01 graphic
lub f(p+).

Definicja

Niech 0x01 graphic
, 0x01 graphic
będą p-niami metrycznymi. Mówimy, że funkcja 0x01 graphic
jest ciągła w punkcie 0x01 graphic
, gdy

0x01 graphic
.

Definicja

Niech X, Y będą p-niami metrycznymi. Mówimy, że funkcja 0x01 graphic
jest ciągła na zbiorze 0x01 graphic
, gdy jest ona ciągła w każdym punkcie tego zbioru.

Definicja

Załóżmy, że X i Y są p-niami metrycznymi. Ciągłą bijekcję 0x01 graphic
nazywamy homeomorfizmem, gdy funkcja odwrotna f—1 jest ciągła.