Topología 1-3

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 1

⇔( Métrica usual de la recta , d 1 (x , y) ,|x− y|=|x 1− y 1|+|x 2− y 2|)

⇔( Métrica euclídea o usual en el plano ,d 2( x , y )= √( x 1− y 1) +(x 2− y 2 ) )


2 2

⇔( Métrica rectangular o disntancia infinita de Minkowski ,d ∞ ( x , y ) ,d max (x , y) , max {|x 1− y 1|,|x 2− y 2|})
⇔(Bola abierta centrada en x de radio r , B d ( x ; r) , { y∈ X : d ( x , y)<r })
⇔(Bola cerrada centrada en x de radio r , B d ( x ; r) ,{ y∈ X : d ( x , y )≤r })

Proposición:
⇔(Topología inducida por la métrica , τ ⟨ F ⟩ : F ={ Bd : d ( x , y )<r }) i

⇔(Espacio Métrico ,( X , τ ): τ =τ ⟨F ⟩ , X M )
n 1
⇔( Métrica Distancias-p , de Minkowski , d p , d p ( x , y)=(∑ (|xi − yi|) ) p : ∧( p≥1 , dim( X )=n))
p

i =1
⇔( Métricas topológicamente equivalentes, τ ⟨ F ⟩ =τ ⟨ F ⟩ ) 1 2

⇔(Topología τ ⟨F ⟩ inducida por d más fina que τ ⟨ F ⟩ ' , c X ∈ℝ + : d 1 (x , y)≤c X⋅d 2( x , y) ∀( x , y )∈ X )


1 2

⇔(Subsonjunto A acotado de un espacio métrico X , A , A⊂ X : ∀ x , y ∈A d ( x , y)≤M , M >0)


⇔(Diámetro de un subconjunto acotado A ,diam ( A) ,sup{ d ( x , y),1} ∀ x , y ∈A)
⇔( Métrica acotada , d ( x , y) , min{ d ( x , y ),1 }∀ x , y ∈ X espacio .métrico )
Proposición
⇒(d i ( x , y )∧d j ( x , y ) ,τ d =τ d : d i ( x , y )=min{ d i ( x , y),1}∧d j ( x , y )=min{ d j ( x , y ),1 } ∀i , j)
i j

⇔( Métricas fuertemente equivalentes ,∃ ci ∈ℝ :⇒( Bd ( x ;ci )∧ Bd ' ( x ,c j ) , B d ⊂Bd ' ∧Bd '⊂ Bd ))
Proposición
⇒(d ( x , y)∈d p ,(d i ( x , y )∧d j ( x , y)) fuertemente . Equivalentes ∀ i , j )

~
⇔( Métrica producto , d × ( x , y) , d ( x , y) , f ( x , y )=√ d 1 ( x1 , y 1)2 +d 2 ( x 2 , y 2)2 : x1∧ y 1∈( X 1 , d 1) , x2∧ y 2∈( X 2 , d 2 ))
2
( X 1× X 2)
Proposición (Desigualdad de Cauchy-Swart)
2
⇒(a k , b k ≥0 ∀ k ,(∑ (a k⋅b k )) ≤( ∑ (a k )2)⋅(∑ (b k )2 ))
⇔(Espacio Topológico de Hausdorff , Espacios T 2 , X H , ∀ x , y∈ X : x ≠ y ⇒ ∃U ,V ∈τ : x ∈U , y ∈V , U ∩V =∅)
⇔(Espacio de Sierpinski , T S , {∅ , {1} , {0,1}})
⇔(Espacio de Kolmogorov ,T 0 , ∀ x , y ∈ X : X ≠ y ⇒∃U ∈τ : ⊗( x∈U ∧ y ∉U , x ∉U ∧ y ∈U ))
⇔(Espacio de Fréchet ,T 1 , ∀ x , y∈ X : X ≠ y ⇒∃U , V ∈τ : ∧( x ∈U , y ∉U , x ∉V , y∈V ))
Proposición
⇒( X =( A , d ) , X =T 2= X H )
A
⇔(Sucesión de elementos en un espacio topológico X , { x n }n∈ℕ , A⊂X : f ∧( A ,≤ ))

⇔( Sucesión convergente a un elemento x , { x n }n ∈ℕ → x ,lim xn= x ,∀ U = E A ( x)⇒ card (U )=∞ : ∀ u∈U , u∈{ xn } n∈ℕ ,∀ ϵ > 0∃ nϵ > 0: n≥nϵ ⇒
c

n→ ∞
d ( xn , x)<ϵ : xn { xn }n∈ℕ )
⇔(Sucesión de Cauchy ,{ xn } n∈ℕ , Cauchy , { x n }n ∈ℕ : ∀ ϵ >0∃ nϵ > 0: m , n≥nϵ ⇒ d ( x n , x m )<ϵ : xn ∧xm ∈{ x n }n ∈ℕ )
Proposición
⇒(∀ { xn }n∈ℕ ∈X { x n }n ∈ℕ={ x n }n ∈ℕ , Cauchy , X completo )
Proposición
⇒({ xn }n∈ℕ →x , 1 x)
Proposición:
⇔( A⊂ X : A∈C X ,{ x n } n∈ℕ : x n ∈A ∀ n∈ℕ∧∃{ x n }n ∈ℕ → x ⇒ x ∈ A)
Y
−1
⇔( Función contínua en un punto x0 de X , f , x0 , f : ∀ V ∈τ Y f ( x 0)∈V ∧ f (V )∈τ X ,∀ ϵ > 0∃ δ >0 :| f ( x)− f ( x0 )|<ϵ ∧|x−x0|<δ )
X
⇔( Función contínua en un conjunto X , f , f , x ∀ x∈dom( X ))
Teorema (Caracterización de la continuidad en espacios topológicos):
Y
−1 −1 −1 o −1 o
⇔( f :∃ τ X ∧τ Y ,∀ B⊂Y :( B=C Y )⇒ f (B)⊂ X : f ( B)=C X , ∀ A⊂ X ⇒ f ( A)⊂ f ( A) ,∀ B⊂Y ⇒ f ( B )⊂(d ( B)) ,
X

∀ (x ∈ X , ∀ E A( x)=U ⊂X )∃V ⊂Y : V =E A( f ( x))∧ f (U )⊂V )


Y
⇔( Función abierta , f abierta , f : ∀ x∈ A X f ( x)∈ AY )
X
Y
⇔( Función cerrada , f cerrada , f : ∀ x∈C X f (x )∈C Y )
X
Funciones continuas:
Y
⇒( f ( x)∈{ c ∈Y ∀ x ,h ( g ( x))∀ x , g ( x) ∀ x ∈ A⊂ X ∧h ( x ')∀ x '∈B⊂ X : A∧B∈{ Aτ , C τ }} , f )
X
Y
⇔(Continuidad secuencial , f s , f ,x : x∈X ⇒∀ ϵ > 0∃ δ : d X ( y , x )< δ ⇒ d Y ( f ( y) , f ( x))< ϵ )
X
Y
−1
⇔(Homeomorfismo , f Homeomorfa , f biyectiva , : f )
X
Proposición:
⇒( f Homeomorfa ∧g Homeomorfa ,( f ∘ g )Homeomorfa )
⇔( f Homeomorfa , ∀U ⊂ X :U ∈ Aτ ,V = f (U )⊂Y : V ∈ Aτ )
⇒( f Homeomorfa , f = ∼)
2

x y
⇔(Proyección estereográfica , f ( x , y , z)=( , ): P∈(ℝ3∧S )∧S ⊂ℝ 3 )
S −{ P }⊂ℝ
2 1− z 1−z
3

También podría gustarte