Observación: si (𝑀, 𝑑 ) es un espacio métrico, entonces todo subconjunto no

vacío 𝑆 ⊂ 𝑀 se pede copnsiderar como un espacio métrico, y la métrica sobre

el subconjunto 𝑆 es definida por 𝑑𝑆 (𝑥, 𝑦) = 𝑑(𝑖 (𝑥 ), 𝑖 (𝑦)), ∀𝑥, 𝑦 ∈ 𝑆, donde
𝑖: 𝑆 → 𝑀, 𝑖(𝑥 ) = 𝑥, ∀𝑥 ∈ 𝑆 llamada aplicación de inclusión. Es ente caso, se
dice que la métrica sobre el subconjunto 𝑆 es inducida por la aplicación de
inclusión (o por la métrica de 𝑀).
Definición: sea 𝔼 un espacio vectorial real. Una norma sobre 𝔼 es una función
real ‖ℎ‖: 𝔼 → ℝ , que hace‖𝑥‖ corresponder a cada vector 𝑥 ∈ 𝔼 un número
real ‖𝑥‖ llamada norma de 𝑥, tal que ∀𝑥, 𝑦 ∈ 𝔼, 𝜆 ∈ ℝ se cumple:

i) ‖𝑥‖ = 0 ⟺ 𝑥 = 0̅
ii) ‖𝜆𝑥‖ = |𝜆|‖𝑥‖
iii) ‖𝑥 + 𝑦‖ ≤ ‖𝑥‖ + ‖𝑦‖
Al conjunto 𝔼 provisto de la norma ‖ℎ‖ se llama espacio normado y se denota
por (𝔼, ‖ℎ‖) o simplemente por 𝔼.
Observación: si (𝔼, ‖ℎ‖) es un espacio normado, entonces:
‖𝑥‖ ≥ 0, ∀𝑥 ∈ 𝔼,

En efecto: en iii) haciendo 𝑦 = −𝑥 y por i) obtenemos ‖𝑥‖ ≥ 0

Ejemplo 1
El conjunto de los números reales ℝ, provisto de la norma ‖𝑥‖ = |𝑥|, 𝑥 ∈ ℝ
es un espacio normado.
Las condiciones i), ii) y iii) se cumplen por las propiedades del valor absoluto
de los números reales.
Ejemplo 2
En general ℝ𝑛 es un espacio normado, provisto de las normas:

‖𝑥‖ = √∑𝑛𝑖=1 𝑥𝑖 2 ; ‖𝑥‖1 = ∑𝑛𝑖=1|𝑥𝑖 |; ‖𝑥‖2 = 𝑚𝑎𝑥 {|𝑥𝑖 |, 𝑖 = 1, … , 𝑛},

𝑥 = (𝑥1 , … , 𝑥𝑛 ) ∈ ℝ𝑛 .
La verificación de que las funciones ‖𝑥‖, ‖𝑥‖1, ‖𝑥‖2: ℝ𝑛 → ℝ, sean normas,
es completamente análoga a la demostración del ejemplo 2 de la clase
anterior.
Ejemplo 3
El conjunto 𝛽 (𝑋, ℝ) provisto de la norma ‖𝑓‖ = 𝑠𝑢𝑝{|𝑓 (𝑥 )|, 𝑥 ∈ 𝑋}, 𝑓∈
𝛽 (𝑋, ℝ) es un espacio normado.

Demostraremos que la función ‖𝑥‖: 𝛽 (𝑋, ℝ) → ℝ es una norma.

Observación: todo espacio vectorial normado (𝔼, ‖ℎ‖) es un espacio métrico
con la métrica definida por 𝑑: 𝔼 × 𝔼 → ℝ, 𝑑(𝑥, 𝑦) = ‖𝑥 − 𝑦‖
En este caso se dice que la métrica es inducida por la norma. Por ejemplo en
ℝ𝑛 las métricas 𝑑, 𝑑 ′ 𝑦 𝑑 ′′ son inducidas por las normas ‖𝑥‖, ‖𝑥‖1 , ‖𝑥‖2,
respectivamente. También en 𝛽 (𝑋, ℝ) la métrica del supremo es inducida por
la norma considerada en el último ejemplo.
Definición: sea 𝑀 un conjunto no vacío. Una seudométrica sobre 𝑀 es una
función real 𝑑: 𝑀 × 𝑀 → ℝ tal que, ∀𝑥, 𝑦, 𝑧 ∈ 𝑀 se cumple:
i) 𝑥 = 𝑦 ⟹ 𝑑(𝑥, 𝑦) = 0
ii) 𝑑 (𝑥, 𝑦) = 𝑑 (𝑦, 𝑥 )
iii) 𝑑 (𝑥, 𝑧) ≤ 𝑑 (𝑥, 𝑦) + 𝑑(𝑦, 𝑧)
Al conjunto 𝑀 provisto de la seudométrica 𝑑 se llama espacio seudométrico y
se denota por (𝑀, 𝑑 ) o simplemente por 𝑀.
Una seudométrica 𝑑 es una métrica, cuando
𝑑 (𝑥, 𝑦) = 0 ⟹ 𝑥 = 𝑦
Ejemplo 1
Todo espacio métrico es un espacio seudométrico
Ejemplo 2
Sea 𝑋 un conjunto no vacío. Si consideramos una función 𝑑: 𝑋 × 𝑋 → ℝ
definida por 𝑑(𝑥, 𝑦) = 0, ∀𝑥, 𝑦 ∈ 𝑋 (llamada seudométrica trivial), entonces
(𝑋, 𝑑 ) es un espacio seudométrico.
En efecto: ∀𝑥, 𝑦, 𝑧 ∈ 𝑋, tenemos:
i) 𝑥 = 𝑦 ⟹ 𝑑(𝑥, 𝑦) = 0
ii) 𝑑 (𝑥, 𝑦) = 0, 𝑑(𝑦, 𝑥 ) = 0 ⟹ 𝑑 (𝑥, 𝑦) = 𝑑(𝑦, 𝑥 )
iii) 𝑑 (𝑥, 𝑧) = 0, 𝑑(𝑥, 𝑦) = 0, 𝑑 (𝑦, 𝑧) = 0 entonces 𝑑 (𝑥, 𝑧) ≤
𝑑 (𝑥, 𝑦) + 𝑑(𝑦, 𝑧).