ANALISIS EN VARIAS VARIABLES

NOTAS DE CLASE

WENDY KATHERINE CACERES UNAS

ALLISON MARIA RAMIREZ FIERRO
NIBER ROJAS CANO
MAICOL JAVIER RODRIGUEZ MOSQUERA

UNIVERSIDAD SURCOLOMBIANA
MATEMATICA APLICADA
ANALISIS EN VARIAS VARIABLES
PRIMER SEMESTRE DE 2016
CAPITULO 1.

ELEMENTOS DE TOPOLOGIA EN EL ESPACIO

EUCLIDEANO UNIDIMENSIONAL.

INTRODUCCIÓN

Estos son los apuntes sobre el primer capítulo del curso de Análisis en Varias
Variables del programa de Matemática Aplicada de la Universidad Surcolombiana.
Incluye las definiciones y demostraciones correspondientes a las nociones de
Topología en el espacio euclideo n-dimensional, el documento aborda
detenidamente cada una de las definiciones, proposiciones, teoremas y
desigualdades que se presentarán en el curso, por esta razón este documento será
una gran herramienta para cada uno de los estudiantes que tomen el curso, ya que
permite una fácil comprensión de los tópicos del curso.

El espacio euclideano es un tipo de espacio geométrico en el que se satisfacen los

axiomas de Euclides, de la misma manera podemos decir que es un espacio
vectorial completo dotado de un producto interno que garantiza la conversión del
mismo en un espacio normado, un espacio métrico y una variedad riemanniana al
mismo tiempo; dichos espacios son el centro de estudio de una de las ramas de la
matemática denominada Topología, encarga del análisis de la posición de cada uno
de los puntos pertenecientes al espacio mencionado.

El desarrollo de este y otros documentos del mismo tipo hacen parte de la creación
de una plataforma virtual para la FACIEN, el objetivo es llevar cada uno de los
cursos del programa a dicha plataforma para que sea la herramienta de estudio de
las próximas generaciones, así mismo se espera la modificación y transformación
paulatina de los mismos.
Definición 1. ℝ𝑛 denota el espacio euclidiano n-dimensional.
ℝ𝑛 = {𝑥⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 )(𝑥𝑘 ∈ ℝ)(∀𝑘 = 1,2, … , 𝑛)

Sea 𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ) 𝑦 𝑌
⃗⃗ = (𝑦1 , 𝑦2 , … , 𝑦𝑛 )

1. 𝑋⃗ = 𝑌⃗⃗ ↔ (𝑥𝑘 = 𝑦𝑘 )(∀𝑘 = 1,2, … , 𝑛)

2. 𝑋⃗ + 𝑌
⃗⃗ = (𝑥1 + 𝑦1 , 𝑥2 + 𝑦2 , … , 𝑥𝑛 + 𝑦𝑛 )
3. (∃𝛼 ∈ ℝ)(𝛼𝑋⃗ = 𝛼(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) = (𝛼𝑥1 , 𝛼𝑥2 , … , 𝛼𝑥𝑛 )

Proposición 1.1
Propiedades de la suma de vectores en ℝ𝑛

Sea 𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ), 𝑌
⃗⃗ = (𝑦1 , 𝑦2 , … , 𝑦𝑛 ), 𝑍⃗ = (𝑧1 , 𝑧2 , … , 𝑧𝑛 ) espacios vectorial de
dimensiones 𝑛 sobre ℝ.

1. 𝑋⃗ + 𝑌
⃗⃗ = 𝑌⃗⃗ + 𝑋⃗
2. (𝑋⃗ + 𝑌⃗⃗) + 𝑍⃗ = 𝑋⃗ + (𝑌
⃗⃗ + 𝑍⃗)
3. 𝑋⃗ + ⃗⃗
0 = 𝑋⃗
4. 𝑋⃗ + (−𝑋⃗) = ⃗⃗
0
5. 𝛼(𝑋⃗ + 𝑌
⃗⃗) = 𝛼𝑋⃗ + 𝛼𝑌
⃗⃗
6. (𝛼 + 𝛽)𝑋⃗ = 𝛼𝑋⃗ + 𝛽𝑋⃗
7. 𝛼(𝛽𝑋⃗) = (𝛼𝛽)𝑋⃗
8. (1)𝑋⃗ = 𝑋⃗

Demostración.

1. Ley conmutativa 𝑋⃗ + 𝑌
⃗⃗ = 𝑌
⃗⃗ + 𝑋⃗

𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ), 𝑌
⃗⃗ = (𝑦1 , 𝑦2 , … , 𝑦𝑛 )

𝑋⃗ + 𝑌
⃗⃗ = [(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) + (𝑦1 , 𝑦2 , … , 𝑦𝑛 )] =

= [(𝑥1 + 𝑦1 , 𝑥2 + 𝑦2 , … , 𝑥𝑛 + 𝑦𝑛 )] = Suma de vectores de ℝ𝑛

= [(𝑦1 + 𝑥1 , 𝑦2 + 𝑥2 , … , 𝑦𝑛 + 𝑥𝑛 )]= Conmutatividad de (+) en ℝ

⃗⃗ + 𝑋⃗
= [(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) + (𝑦1 , 𝑦2 , … , 𝑦𝑛 )] = 𝑌

2. Ley asociativa (𝑋⃗ + 𝑌

⃗⃗ ) + 𝑍⃗ = 𝑋⃗ + (𝑌
⃗⃗ + 𝑍⃗)

𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ), 𝑌
⃗⃗ = (𝑦1 , 𝑦2 , … , 𝑦𝑛 ), 𝑍⃗ = (𝑧1 , 𝑧2 , … , 𝑧𝑛 )
(𝑋⃗ + 𝑌
⃗⃗) + 𝑍⃗ = [((𝑥1 , 𝑥2 , … , 𝑥𝑛 ) + (𝑦1 , 𝑦2 , … , 𝑦𝑛 )) + (𝑧1 , 𝑧2 , … , 𝑧𝑛 )] =

= [(𝑥1 + 𝑦1 , 𝑥2 + 𝑦2 , … , 𝑥𝑛 + 𝑦𝑛 ) + (𝑧1 , 𝑧2 , … , 𝑧𝑛 )] = Suma de vectores de ℝ𝑛

= [(𝑥1 + 𝑦1 ) + 𝑧1 , (𝑥2 + 𝑦2 ) + 𝑧2 , … , (𝑥𝑛 + 𝑦𝑛 ) + 𝑧𝑛 ] = Suma de vectores de ℝ𝑛

= [𝑥1 + (𝑦1 + 𝑧1 ), 𝑥2 + (𝑥2 + 𝑦2 ), … , 𝑥𝑛 + (𝑦𝑛 + 𝑧𝑛 )] = Conmutatividad de (+) en ℝ

= [(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) + (𝑦1 + 𝑧1 , 𝑦2 + 𝑧2 , … , 𝑦𝑛 + 𝑧𝑛 )] = Suma de vectores de ℝ𝑛

= [(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) + ((𝑦1 , 𝑦2 , … , 𝑦𝑛 ) + (𝑧1 , 𝑧2 , … , 𝑧𝑛 ))] = 𝑋⃗ + (𝑌

⃗⃗ + 𝑍⃗)

3. Existencia del neutro en la adición 𝑋⃗ + ⃗⃗

0 = 𝑋⃗

𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ), ⃗0⃗ = (0,0, … , 0)

𝑋⃗ + ⃗⃗
0 = [(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) + (0,0, … , 0)] =

= [(𝑥1 + 0, 𝑥2 + 0, … , 𝑥𝑛 + 0)] = Suma de vectores de ℝ𝑛

= (𝑥1 , 𝑥2 , … , 𝑥𝑛 ) = 𝑋⃗

4. Existencia del opuesto 𝑋⃗ + (−𝑋⃗) = ⃗0⃗

𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ), (−1)𝑋⃗ = −(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) = (−𝑥1 , −𝑥2 , … , −𝑥𝑛 )

𝑋⃗ + (−𝑋⃗) = [(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) + (−(𝑥1 , 𝑥2 , … , 𝑥𝑛 ))] =

= [(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) + (−𝑥1 , −𝑥2 , … , −𝑥𝑛 )] = Vector opuesto deℝ𝑛

= [(𝑥1 + (−𝑥1 ), 𝑥2 + (−𝑥2 ), … , 𝑥𝑛 + (−𝑥𝑛 ))] = Suma de vectores de ℝ𝑛

= [(𝑥1 − 𝑥1 , 𝑥2 − 𝑥2 , … , 𝑥𝑛 − 𝑥𝑛 )] =

= (0,0, … , 0) = ⃗0⃗

5. Ley distributiva para la adición (∃𝛼 ∈ ℝ)( 𝛼(𝑋⃗ + 𝑌

⃗⃗ ) = 𝛼𝑋⃗ + 𝛼𝑌
⃗⃗)

𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ), 𝑌
⃗⃗ = (𝑦1 , 𝑦2 , … , 𝑦𝑛 )

𝛼(𝑋⃗ + 𝑌
⃗⃗) = [𝛼((𝑥1 , 𝑥2 , … , 𝑥𝑛 ) + (𝑦1 , 𝑦2 , … , 𝑦𝑛 ))] =

= [𝛼(𝑥1 + 𝑦1 , 𝑥2 + 𝑦2 , … , 𝑥𝑛 + 𝑦𝑛 )] = Suma de vectores de ℝ𝑛

= [(𝛼(𝑥1 + 𝑦1 ), 𝛼(𝑥2 + 𝑦2 ), … , 𝛼(𝑥𝑛 + 𝑦𝑛 ))] = Producto escalar de ℝ𝑛

= [(𝛼𝑥1 + 𝛼𝑦1 , 𝛼𝑥2 + 𝛼𝑦2 , … , 𝛼𝑥𝑛 + 𝛼𝑦𝑛 )] = Distributiva de (+) en ℝ

= [(𝛼𝑥1 , 𝛼𝑥2 , … , 𝛼𝑥𝑛 ) + (𝛼𝑦1 , 𝛼𝑦2 , … , 𝛼𝑦𝑛 )] = Producto escalar de ℝ𝑛

= [𝛼(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) + 𝛼(𝑦1 , 𝑦2 , … , 𝑦𝑛 )] = 𝛼𝑋⃗ + 𝛼𝑌

⃗⃗

6. La distribución para la adición para escalares

(∃𝛼, 𝛽 ∈ ℝ)( 𝑋⃗(𝛼 + 𝛽) = 𝛼𝑋⃗ + 𝛽𝑋⃗)

𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 )

𝑋⃗(𝛼 + 𝛽) = [(𝑥1 , 𝑥2 , … , 𝑥𝑛 )(𝛼 + 𝛽)] =

= [(𝑥1 (𝛼 + 𝛽), 𝑥2 (𝛼 + 𝛽), … , 𝑥𝑛 (𝛼 + 𝛽))] = Producto escalar de ℝ𝑛

= [((𝛼𝑥1 + 𝛽𝑥1 ), (𝛼𝑥2 + 𝛽𝑥2 ), … , (𝛼𝑥𝑛 + 𝛽𝑥𝑛 ))] = Distributiva de (+) en ℝ

= [(𝛼𝑥1 , 𝛼𝑥2 , … , 𝛼𝑥𝑛 ) + (𝛽𝑥1 , 𝛽𝑥2 , … , 𝛽𝑥𝑛 )] = Suma de vectores de ℝ𝑛

= [𝛼(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) + 𝛽(𝑥1 , 𝑥2 , … , 𝑥𝑛 )] = 𝛼𝑋⃗ + 𝛽𝑋⃗

7. Asociativa de la multiplicación 𝛼(𝛽𝑋⃗) = (𝛼𝛽)𝑋⃗

𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 )

𝛼(𝛽𝑋⃗) = [𝛼(𝛽𝑥1 , 𝛽𝑥2 , … , 𝛽𝑥𝑛 )] =

= [𝛼(𝛽(𝑥1 , 𝑥2 , … , 𝑥𝑛 ))] = Producto escalar de ℝ𝑛

= [(𝛼. 𝛽)(𝑥1 , 𝑥2 , … , 𝑥𝑛 )] = Asociativa del (∙) en ℝ

= (𝛼𝛽)𝑋⃗

8. Existencia del elemento neutro en el producto (1)𝑋⃗ = 𝑋⃗

𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 )

(1)𝑋⃗ = [1(𝑥1 , 𝑥2 , … , 𝑥𝑛 )] =

= [(1𝑥1 , 1𝑥2 , … , 1𝑥𝑛 )] = Producto escalar del elemento neutro de ℝ𝑛

= (𝑥1 , 𝑥2 , … , 𝑥𝑛 ) = 𝑋⃗
Proposición 1.2
Sea 𝜉 = (𝑒⃗⃗⃗⃗,
1 ⃗⃗⃗⃗,
𝑒2 … , ⃗⃗⃗⃗⃗) 𝑒𝑖 = (0, … ,0,1,0, … ,0) es una base para ℝ𝑛
𝑒𝑛 donde ⃗⃗⃗

Demostración:

Sea ⃗⃗⃗
𝑒𝑖 = (0, … ,0,1,0, … ,0)(∀𝑖 = 1, … , 𝑛). Probar que son linealmente independiente
y generan a ℝ𝑛 .

Supongamos que 𝑎1 , 𝑎2 , … , 𝑎𝑛 son elemento de ℝ, talque 𝑎1 ⃗⃗⃗⃗

𝑒1 = (0,0, … , 0)
entonces 𝑎1 ⃗⃗⃗⃗
𝑒1 + 𝑎2 ⃗⃗⃗⃗ 𝑒𝑛 = ⃗0⃗.
𝑒2 + ⋯ + 𝑎𝑛 ⃗⃗⃗⃗⃗

Como 𝑎1 , 𝑎2 , … , 𝑎𝑛 ∈ ℝ esto indica que son escalares

𝑎1 (1,0, … , 0) + 𝑎2 (0,1, … , 0) + ⋯ + 𝑎𝑛 (0,0, … ,1) = ⃗0⃗

(𝑎1 , 0, … , 0) + (0, 𝑎2 , … , 0) + ⋯ + (0,0, … , 𝑎𝑛 ) = (0,0, … ,0)

(𝑎1 , 𝑎2 , … , 𝑎𝑛 ) = (0,0, … ,0)

Se obtiene (∀𝑖 = 1, … , 𝑛)(𝑎𝑖 = 0) por tanto son linealmente independientes.

Ahora debemos probar que generan una base canónica en ℝ𝑛

𝑒1 = (1,0, … , 0), ⃗⃗⃗⃗

Sea ⃗⃗⃗⃗ 𝑒2 = (0,1, … , 0), … , ⃗⃗⃗⃗⃗
𝑒𝑛 = (0,0, … ,1), tienen una única
coordenada igual a 1que constituye una base canónica.

Sea 𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ) un espacio vectorial de n-dimensional en ℝ

Se puede expresar como el producto de cada una de las componentes del vector
𝑋⃗ por cada una de las bases canónicas.

𝑥1 ⃗⃗⃗⃗
𝑒1 + 𝑥2 ⃗⃗⃗⃗ 𝑒𝑛 = ∑𝑛𝑖=1 𝑥𝑖 ⃗⃗⃗
𝑒2 + ⋯ + 𝑥𝑛 ⃗⃗⃗⃗⃗ 𝑒𝑖 =

𝑥1 (1,0, … ,0) + 𝑥2 (0,1, … ,0) + ⋯ + 𝑥𝑛 (0,0, … ,1) =

(𝑥1 , 0, … ,0) + (0, 𝑥2 , … ,0) + (0,0, … , 𝑥𝑛 ) = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ).

𝑒𝑖 por tanto es una base en ℝ𝑛 .

Se obtiene (∀𝑖 = 1, … , 𝑛)(𝑥𝑖 = ⃗⃗⃗)

Definición 2. (PRODUCTO INTERNO).

Sea 𝑉 un espacio vectorial. Un producto interno o producto punto en v es una
función 𝐼: 𝑣 × 𝑣 → ℝ que satisface:

1. 𝐼(𝑋⃗, 𝑌
⃗⃗ ) = 𝐼(𝑌⃗⃗, 𝑋⃗)(∀𝑋⃗, 𝑌⃗⃗ ∈ 𝑉)
2. 𝐼(𝑋⃗ + 𝑋⃗′, 𝑌
⃗⃗ ) = 𝐼(𝑋⃗, 𝑌⃗⃗ ) + (𝑋⃗ ′ , 𝑌
⃗⃗ )(∀𝑋⃗, 𝑋⃗ ′ , 𝑌
⃗⃗ ∈ 𝑉)
 3. 𝐼(𝛼𝑋⃗, 𝑌⃗⃗ ) = 𝐼(𝑋⃗, 𝛼𝑌
⃗⃗ ) = 𝛼𝐼(𝑋⃗, 𝑌
⃗⃗ )((∀𝑋⃗, 𝑌
⃗⃗ ∈ 𝑉)⋀(∀𝛼 ∈ ℝ)
4. 𝐼(𝑋⃗, 𝑋⃗) > 0 𝑠𝑖 𝑋⃗ ≠ 0

Proposición 2.1
𝐼(𝑋⃗, 𝑌
⃗⃗ ) = ∑𝑛𝑘=1 𝑥𝑘 𝑦𝑘 es un producto interno en ℝ𝑛

𝐼(𝑋⃗, 𝑌
⃗⃗ ) = 𝑥⃗ ∙ 𝑦⃗ =< 𝑥⃗, 𝑦⃗ >= ∑𝑛𝑘=1 𝑥𝑘 𝑦𝑘

Demostración.

1. 𝐼(𝑋⃗, 𝑌
⃗⃗ ) = 𝐼(𝑦⃗, 𝑥⃗)(∀𝑥⃗, 𝑦⃗ ∈ 𝑉)

Sea 𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ), 𝑌
⃗⃗ = (𝑦1 , 𝑦2 , … , 𝑦𝑛 )

𝐼(𝑋⃗, 𝑌
⃗⃗ ) = ∑𝑛𝑘=1 𝑥𝑘 𝑦𝑘 = Def. Producto interno en ℝ𝑛

= ∑𝑛𝑘=1 𝑦𝑘 𝑥𝑘 = Conmutatividad de (∙)

⃗⃗, 𝑋⃗)
= 𝐼(𝑌 Def. Producto interno en ℝ𝑛

2. 𝐼(𝑋⃗ + 𝑋⃗′, 𝑌
⃗⃗ ) = 𝐼(𝑋⃗, 𝑌
⃗⃗ ) + (𝑋⃗ ′ , 𝑌
⃗⃗ )(∀𝑋⃗, 𝑋⃗ ′ , 𝑌
⃗⃗ ∈ 𝑉)

Sea 𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ), 𝑋⃗′ = (𝑥′1 , 𝑥′2 , … , 𝑥′𝑛 ), 𝑌

⃗⃗ = (𝑦1 , 𝑦2 , … , 𝑦𝑛 )

𝐼(𝑋⃗ + 𝑋⃗′, 𝑌
⃗⃗) = ∑𝑛𝑘=1(𝑥𝑘 + 𝑥 ′ 𝑘 ) 𝑦𝑘 = Def. Producto interno en ℝ𝑛

= ∑𝑛𝑘=1(𝑥𝑘 𝑦𝑘 + 𝑥 ′ 𝑘 𝑦𝑘 ) = Distributiva de (+) en ℝ

= ∑𝑛𝑘=1(𝑥𝑘 𝑦𝑘 ) + ∑𝑛𝑘=1(𝑥 ′ 𝑘 𝑦𝑘 ) = Prop. Asociativa de la sumatoria en ℝ

= 𝐼(𝑋⃗, 𝑌
⃗⃗ ) + (𝑋⃗ ′ , 𝑌
⃗⃗) Def. Producto interno en ℝ𝑛

3. 𝐼(𝛼𝑋⃗, 𝑌
⃗⃗ ) = 𝐼(𝑋⃗, 𝛼𝑌
⃗⃗ ) = 𝛼𝐼(𝑋⃗, 𝑌
⃗⃗ )(∀𝑋⃗, 𝑌
⃗⃗ ∈ 𝑉)⋀(∀𝛼 ∈ ℝ)

Sea 𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ), 𝑌
⃗⃗ = (𝑦1 , 𝑦2 , … , 𝑦𝑛 )

𝐼(𝛼𝑋⃗, 𝑌
⃗⃗ ) = ∑𝑛𝑘=1(𝛼𝑥𝑘 ) 𝑦𝑘 = Def. Producto interno en ℝ𝑛

= ∑𝑛𝑘=1 𝛼(𝑥𝑘 𝑦𝑘 ) = Asociativa del (∙) en ℝ

= ∑𝑛𝑘=1 𝑥𝑘 (𝛼𝑦𝑘 ) = Asociativa del (∙) en ℝ

= 𝐼(𝑋⃗, 𝛼𝑌
⃗⃗ ) = Def. Producto interno en ℝ𝑛

𝐼(𝛼𝑋⃗, 𝑌
⃗⃗ ) = ∑𝑛𝑘=1(𝛼𝑥𝑘 ) 𝑦𝑘 = Def. Producto interno en ℝ𝑛
= ∑𝑛𝑘=1 𝛼(𝑥𝑘 𝑦𝑘 ) = Asociativa del (∙) en ℝ

= 𝛼 ∑𝑛𝑘=1 𝑥𝑘 𝑦𝑘 = Distributiva de (∙) en ℝ

= 𝛼𝐼(𝑋⃗, 𝑌
⃗⃗ ) Def. Producto interno en ℝ𝑛

4. 𝐼(𝑋⃗, 𝑋⃗) > 0 𝑠𝑖 𝑥⃗ ≠ 0

Sea 𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 )

𝑥⃗ ≠ 0 → (∃𝑖 = 1,2, … . , 𝑛)(𝑥𝑖 ≠ 0)

𝐼(𝑥 𝑥𝑖 > 0 → ∑𝑛𝑘=1 𝑥𝑘𝑖 𝑦𝑘𝑖 > 0

⃗⃗⃗⃗,𝑖 ⃗⃗⃗⃗)

Definición 3. (NORMA EN ESPACIOS VECTORIALES).

Una es un espacio vectorial 𝑉 y es una función de 𝑁: 𝑉 → ℝ que satisface.

1. 𝑁(𝑋⃗ + 𝑌
⃗⃗) ≤ 𝑁(𝑋⃗) + 𝑁(𝑌
⃗⃗)(∀𝑋⃗, 𝑌
⃗⃗ ∈ 𝑉)
2. 𝑁(𝛼𝑋⃗) = |𝛼|𝑁(𝑋⃗)(∀𝑋⃗ ∈ 𝑉 ⋀ ∀α ∈ ℝ)
3. 𝑁(𝑋⃗) > 0 𝑠𝑖 𝑋⃗ ≠ 0 (∀𝑋⃗ ∈ 𝑉)

Proposición 3.1
En ℝ𝑛 se definen las siguientes funciones definen norma

1. 𝑁(𝑋⃗) = ‖𝑋⃗‖ = √< 𝑋⃗, 𝑋⃗ >. Norma euclidiana.

2. 𝑁(𝑋⃗) = ‖𝑋⃗‖𝑀 = max{|𝑥1 |, |𝑥2 |, … , |𝑥𝑛 |}. Norma del máximo.
3. 𝑁(𝑋⃗) = ‖𝑋⃗‖𝑠 = ∑𝑛𝑘=1 𝑥𝑘 . Norma de la suma

Demostración (Norma Euclidiana)

1. 𝑁(𝑋⃗ + 𝑌
⃗⃗) ≤ 𝑁(𝑋⃗) + 𝑁(𝑌
⃗⃗ )(∀𝑋⃗, 𝑌
⃗⃗ ∈ 𝑉)

‖𝑋⃗ + 𝑌
⃗⃗‖ ≤ ‖𝑋⃗‖ + ‖𝑌
⃗⃗‖

‖𝑋⃗ + 𝑌
⃗⃗‖ = √< 𝑋⃗ + 𝑌
⃗⃗ , 𝑋⃗ + 𝑌
⃗⃗ > Por Def. de norma euclidiana en ℝ𝑛
 2
‖𝑋⃗ + 𝑌
⃗⃗‖ =< 𝑋⃗ + 𝑌
⃗⃗, 𝑋⃗ + 𝑌
⃗⃗ >

2
‖𝑋⃗ + 𝑌
⃗⃗‖ =< 𝑋⃗, 𝑋⃗ + 𝑌
⃗⃗ > +< 𝑌
⃗⃗ , 𝑋⃗ + 𝑌
⃗⃗ > Por (2) del producto interno en ℝ𝑛

2
‖𝑋⃗ + 𝑌
⃗⃗‖ =< 𝑋⃗ + 𝑌
⃗⃗, 𝑋⃗ > +< 𝑋⃗ + 𝑌
⃗⃗ , 𝑌
⃗⃗ > Por (1) del producto interno en ℝ𝑛

2
‖𝑋⃗ + 𝑌
⃗⃗‖ =< 𝑋⃗, 𝑋⃗ > +< 𝑌
⃗⃗, 𝑋⃗ > +< 𝑋⃗, 𝑌
⃗⃗ > +< 𝑌
⃗⃗ , 𝑌
⃗⃗ > Por (2) del producto interno
en ℝ𝑛
2 2 2
‖𝑋⃗ + 𝑌
⃗⃗‖ = ‖𝑋⃗‖ +< 𝑌
⃗⃗ , 𝑋⃗ > +< 𝑋⃗, 𝑌
⃗⃗ > ‖𝑌
⃗⃗‖

2 2 2
‖𝑋⃗ + 𝑌
⃗⃗‖ = ‖𝑋⃗‖ +< 𝑋⃗, 𝑌
⃗⃗ > +< 𝑋⃗, 𝑌
⃗⃗ > ‖𝑌
⃗⃗‖ Por (2) del producto interno en ℝ𝑛
2 2 2
‖𝑋⃗ + 𝑌
⃗⃗‖ = ‖𝑋⃗‖ + 2 < 𝑋⃗, 𝑌
⃗⃗ > +‖𝑌
⃗⃗‖

2 2 2
‖𝑋⃗ + 𝑌
⃗⃗‖ = ‖𝑋⃗‖ + 2|< 𝑋⃗, 𝑌
⃗⃗ >| + ‖𝑌
⃗⃗‖ Por prop. De valor absoluto (𝑥 = |𝑥|) en ℝ
2 2 2 2
‖𝑋⃗‖ + 2|< 𝑋⃗, 𝑌
⃗⃗ >| + ‖𝑌
⃗⃗‖ ≤ ‖𝑋⃗‖ + 2‖𝑋⃗‖‖𝑌
⃗⃗‖ + ‖𝑌
⃗⃗ ‖ Por desigualdad de
Cauchy- Schwartz
2
‖𝑋⃗ + 𝑌
⃗⃗‖ ≤ (‖𝑋⃗‖ + ‖𝑌
⃗⃗ ‖)2

‖𝑋⃗ + 𝑌
⃗⃗‖ ≤ ‖𝑋⃗‖ + ‖𝑌
⃗⃗‖

2. 𝑁(𝛼𝑋⃗) = |𝛼|𝑁(𝑋⃗)(∀𝑋⃗ ∈ 𝑉 ⋀ ∀α ∈ ℝ)

‖𝛼𝑋⃗‖ = √< 𝛼𝑋⃗, 𝛼𝑋⃗ > Por Def. De norma euclidiana en ℝ𝑛

√< 𝛼𝑋⃗, 𝛼𝑋⃗ >= √𝛼 2 < 𝑋⃗, 𝑋⃗ > Por (3) del producto interno en ℝ𝑛

√𝛼 2 < 𝑋⃗, 𝑋⃗ >= |𝛼|√< 𝑋⃗, 𝑋⃗ > Por prop. De valor absoluto (√𝑥 2 = |𝑥|) en ℝ

|𝛼|√< 𝑋⃗, 𝑋⃗ >= |𝛼|‖𝑋⃗‖ Por Def. De norma euclidiana en ℝ𝑛

3. 𝑁(𝑋⃗) > 0 𝑠𝑖 𝑋⃗ ≠ 0 (∀𝑋⃗ ∈ 𝑉)

‖𝑋⃗‖ > 0 𝑠𝑖 (∀𝑖 = 1,2, … , 𝑛)(𝑥𝑖 > 0)

𝑋⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ) > 0

[√< 𝑋⃗, 𝑋⃗ >] > 0 → ‖𝑋⃗‖ > 0 Por Def. De norma euclidiana en ℝ𝑛

Demostración. (Norma del máximo).

1. 𝑁(𝑋⃗ + 𝑌
⃗⃗) ≤ 𝑁(𝑋⃗) + 𝑁(𝑌
⃗⃗ )(∀𝑋⃗, 𝑌
⃗⃗ ∈ 𝑉)

Sea ‖𝑋⃗ + 𝑌
⃗⃗‖ = max{|𝑥1 + 𝑦1 |, |𝑥2 + 𝑦2 |, … , |𝑥𝑛 + 𝑦𝑛 |}
𝑀

‖𝑋⃗ + 𝑌
⃗⃗‖ ≤ ‖𝑋⃗‖ + ‖𝑌
𝑀 𝑀
⃗⃗ ‖
𝑀

(∀𝑖 = 1,2, … , 𝑛)|𝑥𝑖 | ≤ 𝑚𝑎𝑥{|𝑥1 |, |𝑥2 |, … , |𝑥𝑖 |, … , |𝑥𝑛 |} = ‖𝑋⃗‖𝑀 Por Def. De norma del
máximo en ℝ𝑛

⃗⃗ ‖ Por Def. De norma del

(∀𝑖 = 1,2, … , 𝑛)|𝑦𝑖 | ≤ 𝑚𝑎𝑥{|𝑦1 |, |𝑦2 |, … , |𝑦𝑖 |, … , |𝑦𝑛 |} = ‖𝑌 𝑀
máximo en ℝ𝑛

(∀𝑖 = 1,2, … , 𝑛)|𝑥𝑖 + 𝑦𝑖 | ≤ max{|𝑥1 + 𝑦1 |, |𝑥2 + 𝑦2 |, … , |𝑥𝑖 + 𝑦𝑖 |, … , |𝑥𝑛 + 𝑦𝑛 |} Por

Def. De norma del máximo en ℝ𝑛

(∀𝑖 = 1,2, … , 𝑛)|𝑥𝑖 + 𝑦𝑖 | ≤ |𝑥𝑖 | + |𝑦𝑖 | Por desigualdad triangular en ℝ

(∀𝑖 = 1,2, … , 𝑛)|𝑥𝑖 | + |𝑦𝑖 | ≤ ‖𝑋⃗‖ + ‖𝑌

⃗⃗‖
𝑀 𝑀

(∀𝑖 = 1,2, … , 𝑛)|𝑥𝑖 + 𝑦𝑖 | ≤ ‖𝑋⃗‖𝑀 + ‖𝑌

⃗⃗ ‖
𝑀
Por transitividad

Por tanto

‖𝑋⃗ + 𝑌
⃗⃗‖ ≤ ‖𝑋⃗‖ + ‖𝑌
𝑀 𝑀
⃗⃗ ‖
𝑀

2. 𝑁(𝛼𝑋⃗) = |𝛼|𝑁(𝑋⃗)(∀𝑋⃗ ∈ 𝑉 ⋀ ∀α ∈ ℝ

‖𝛼𝑋⃗‖𝑀 = |𝛼|‖𝑋⃗‖𝑀

‖𝛼𝑋⃗‖𝑀 = 𝑚𝑎𝑥{|𝛼𝑥1 |, |𝛼𝑥2 |, … , |𝛼𝑥𝑛 |} Por Def. De norma del máximo en ℝ𝑛

𝑚𝑎𝑥{|𝛼𝑥1 |, |𝛼𝑥2 |, … , |𝛼𝑥𝑛 |} = 𝑚𝑎𝑥{|𝛼||𝑥1 |, |𝛼||𝑥2 |, … , |𝛼||𝑥𝑛 |} Por prop. De valor
absoluto (|𝑎𝑥| = |𝑎||𝑥|) en ℝ

𝑚𝑎𝑥{|𝛼||𝑥1 |, |𝛼||𝑥2 |, … , |𝛼||𝑥𝑛 |} = |𝛼|𝑚𝑎𝑥{|𝑥1 |, |𝑥2 |, … , |𝑥𝑖 |, … , |𝑥𝑛 |} Por Prop. De

máximo (⟦𝑎𝑥⟧ = 𝑎⟦𝑥⟧) en ℤ y Prop. Valor absoluto

|𝛼|𝑚𝑎𝑥{|𝑥1 |, |𝑥2 |, … , |𝑥𝑖 |, … , |𝑥𝑛 |} = |𝛼|‖𝑋⃗‖

𝑀

3. 𝑁(𝑋⃗) > 0 𝑠𝑖 𝑋⃗ ≠ 0 (∀𝑋⃗ ∈ 𝑉)

(∀𝑖 = 1,2, … , 𝑛)|𝑥𝑖 | > 0

(∀𝑖 = 1,2, … , 𝑛)0 < |𝑥𝑖 | ≤ 𝑚𝑎𝑥{|𝑥1 |, |𝑥2 |, … , |𝑥𝑖 |, … , |𝑥𝑛 |} = ‖𝑋⃗‖ Por Def. De
𝑀
norma del máximo en ℝ𝑛

‖𝑋⃗‖𝑀 > 0 Por transitividad

Demostración. (Norma de la suma).

1. 𝑁(𝑋⃗ + 𝑌
⃗⃗) ≤ 𝑁(𝑋⃗) + 𝑁(𝑌
⃗⃗ )(∀𝑋⃗, 𝑌
⃗⃗ ∈ 𝑉)

‖𝑋⃗ + 𝑌
⃗⃗‖ ≤ ‖𝑋⃗‖ + ‖𝑌
𝑠 𝑠
⃗⃗ ‖
𝑠

‖𝑋⃗ + 𝑌
⃗⃗‖ = ∑𝑛𝑘=1|(𝑥 + 𝑦)𝑘 | = Por Def. De norma de la suma en ℝ𝑛
𝑠

∑𝑛𝑘=1|(𝑥 + 𝑦)𝑘 | = ∑𝑛𝑘=1|𝑥𝑘 + 𝑦𝑘 | =

∑𝑛𝑘=1|𝑥𝑘 + 𝑦𝑘 | ≤ ∑𝑛𝑘=1|𝑥𝑘 | + ∑𝑛𝑘=1|𝑦𝑘 | = Por desigualdad triangular en ℝ

∑𝑛𝑘=1|𝑥𝑘 | + ∑𝑛𝑘=1|𝑦𝑘 | = ‖𝑋⃗‖ + ‖𝑌

⃗⃗‖
𝑠 𝑠

2. 𝑁(𝛼𝑋⃗) = |𝛼|𝑁(𝑋⃗)(∀𝑋⃗ ∈ 𝑉 ⋀ ∀α ∈ ℝ)

‖𝛼𝑋⃗‖𝑠 = |𝛼|‖𝑋⃗‖𝑠

‖𝛼𝑋⃗‖𝑠 = ∑𝑛𝑘=1|𝛼𝑥𝑘 | = Por Def. De norma de la suma en ℝ𝑛

∑𝑛𝑘=1|𝛼𝑥𝑘 | = ∑𝑛𝑘=1|𝛼||𝑥𝑘 | = Por prop. De valor absoluto (|𝑎𝑥| = |𝑎||𝑥|) en ℝ

∑𝑛𝑘=1|𝛼||𝑥𝑘 | = |𝛼| ∑𝑛𝑘=1|𝑥𝑘 | =

|𝛼| ∑𝑛𝑘=1|𝑥𝑘 | = |𝛼|‖𝑋⃗‖ Por Def. De norma de la suma en ℝ𝑛

𝑠

3. 𝑁(𝑋⃗) > 0 𝑠𝑖 𝑋⃗ ≠ 0 (∀𝑋⃗ ∈ 𝑉)

‖𝑋⃗‖𝑠 = ∑𝑛𝑘=1|𝑥𝑘 | Por Def. De norma de la suma en ℝ𝑛

𝑋⃗ ≠ ⃗0⃗ → (∃𝑖 = 1, … , 𝑛)(𝑥𝑖 ≠ 0)

→ (∃𝑖 = 1, … , 𝑛)(|𝑥𝑖 | > 0)

‖𝑋⃗‖𝑠 = ∑𝑛𝑘=1|𝑥𝑘 | = [|𝑥1 | + |𝑥2 | + ⋯ + |𝑥𝑖 | + ⋯ + |𝑥𝑘 |] > 0

Teorema. (Desigualdad de Cauchy-Schwartz).

Sea 𝑉 un espacio vectorial dotado de un producto interno 𝐼. Entonces, para cada
𝑋⃗, 𝑦⃗ ∈ 𝑉 se tiene,

|𝐼(𝑋⃗, 𝑦⃗)| ≤ 𝑁𝐼 (𝑋⃗)𝑁𝐼 (𝑌

⃗⃗ ), 𝑑𝑜𝑛𝑑𝑒 𝑁𝐼 (𝑋⃗) = √𝐼(𝑋⃗, 𝑦⃗).

Demostración.

|< 𝑋⃗, 𝑦⃗ >| ≤ ‖𝑋⃗‖‖𝑌

⃗⃗‖

|∑𝑛𝑘=1 𝑥𝑘 𝑦𝑘 | ≤ √∑𝑛𝑘=1 𝑥𝑘 𝑥𝑘 √∑𝑛𝑘=1 𝑦𝑘 𝑦𝑘 Por Def. de producto punto y de norma

euclidiana.

(∑𝑛𝑘=1 𝑥𝑘 𝑦𝑘 ) ≤ (∑𝑛𝑘=1 𝑥𝑘 2 )(∑𝑛𝑘=1 𝑦𝑘 2 )

Caso I: Un vector es múltiplo escalar del otro.

⃗⃗ = 𝛼1 𝑋⃗) → (∃𝛼1 ∈ ℝ)((𝑦1 , 𝑦2 , … , 𝑦𝑛 ) = 𝛼1 (𝑥1 , 𝑥2 , … , 𝑥𝑛 ))

(∃𝛼1 ∈ ℝ)(𝑌

↔ (∃𝛼1 ∈ ℝ)(∀𝑘 =, … , 𝑛)(𝑦𝑘 = 𝛼1 𝑥𝑘 ) ↔ (∃𝛼 = −𝛼1 ∈ ℝ)(𝑦𝑘 = −𝛼𝑥𝑘 ) → (∃𝛼 ∈ ℝ)

(𝑦𝑘 + 𝛼1 𝑥𝑘 = 0)

|∑𝑛𝑘=1 𝑥𝑘 (−𝛼𝑥𝑘 )| ≤ √∑𝑛𝑘=1 𝑥𝑘 2 √∑𝑛𝑘=1 −𝛼𝑥𝑘 2

|−𝛼 ∑𝑛𝑘=1 𝑥𝑘 2 | ≤ √∑𝑛𝑘=1 𝑥𝑘 2 √𝛼 2 ∑𝑛𝑘=1 𝑥𝑘 2

|−𝛼| ∑𝑛𝑘=1 𝑥𝑘 2 ≤ |𝛼|(√∑𝑛𝑘=1 𝑥𝑘 2 )2

|−𝛼| ∑𝑛𝑘=1 𝑥𝑘 2 ≤ |𝛼| ∑𝑛𝑘=1 𝑥𝑘 2

|−𝛼| ∑𝑛𝑘=1 𝑥𝑘 2 = |𝛼| ∑𝑛𝑘=1 𝑥𝑘 2

(∑𝑛𝑘=1 𝑦𝑘 2 ) = |𝛼| ∑𝑛𝑘=1 𝑥𝑘 2

Caso general.

∑𝑛𝑘=1(𝛼𝑥𝑘 + 𝑦𝑘 )2

∑𝑛𝑘=1(𝛼𝑥𝑘 )2 + 2 𝛼𝑥𝑘 𝑦𝑘 + 𝑦𝑘 2

𝛼 2 ∑𝑛𝑘=1 𝑥𝑘 2 + 2𝛼 ∑𝑛𝑘=1 𝑥𝑘 𝑦𝑘 + ∑𝑛𝑘=1 𝑦𝑘 2

Sea 𝑋 = ∑𝑛𝑘=1 𝑥𝑘 2 𝑌 = ∑𝑛𝑘=1 𝑥𝑘 𝑦𝑘 𝑍 = ∑𝑛𝑘=1 𝑦𝑘 2 Cambio de variable.

Luego 𝛼 2 𝑋 + 2𝛼𝑌 + 𝑍 ≥ 0 una función cuadrática, ahora debemos hallar el valor

de 𝛼

−2𝑌±√2𝑌 2 −4𝑋𝑍 −𝑌
𝛼= con vértice 𝛼 = ( 𝑋 )
2𝑋

Luego
−𝑌 −𝑌
( 𝑋 )2 𝑋 + 2 ( 𝑋 ) 𝑌 + 𝑍 ≥ 0

𝑌2 𝑌2
−2 +𝑍 ≥0
𝑋 𝑋

𝑌2
− +𝑍 ≥0
𝑥

𝑌2
−𝑍 ≤ 0
𝑥

𝑌2
≤𝑍
𝑥

𝑌 2 ≤ 𝑋𝑍

(∑𝑛𝑘=1 𝑥𝑘 𝑦𝑘 )2 ≤ ∑𝑛𝑘=1 𝑥𝑘 2 ∑𝑛𝑘=1 𝑦𝑘 2

∑𝑛𝑘=1 𝑥𝑘 𝑦𝑘 ≤ √∑𝑛𝑘=1 𝑥𝑘 √∑𝑛𝑘=1 𝑦𝑘

Por tanto |< 𝑋⃗, 𝑦⃗ >| ≤ ‖𝑋⃗‖‖𝑌

⃗⃗ ‖
Teorema. (Desigualdad de Cauchy-Schwartz| Demostración
tomada del libro: Análisis en R^n de Sergio Plaza).
Demostración

|𝐼(𝑥, 𝑦)| ≤ 𝑁𝐼 (𝑥). 𝑁𝐼 (𝑦)

𝑁𝐼 (𝑥) = √𝐼(𝑥, 𝑥) Def. de norma

Si suponemos que x=0 o y=0 se cumple el teorema ya que si tomamos x=0 se tiene:

|𝐼(0, 𝑦)| ≤ 𝑁𝐼 (0). 𝑁𝐼 (𝑦)

|〈0,0,0, … ,0〉. 〈𝑦1 , 𝑦2 , 𝑦3 , … , 𝑦𝑛 〉| ≤ √𝐼(0,0). √𝐼(𝑦, 𝑦) Hipótesis. Def norma

|(0. 𝑦1 ) + (0. 𝑦2 ) + ⋯ + (0. 𝑦𝑛 )| ≤ √(0.0)2 + ⋯ + (0.0)2 . √(𝑦1 . 𝑦1 )2 + ⋯ + (𝑦𝑛 . 𝑦𝑛 )2

0 = 0 Def. del producto (.) de vectores

Por lo tanto se cumple.

𝐼(𝑥,𝑦)
Ahora supongamos que 𝑦 ≠ 0 y sea ∝= (1)
(𝑁𝐼 (𝑦))2

Sea 𝑧 = 𝑥−∝ 𝑦 (2)

𝐼(𝑧, 𝑦) = 𝐼(𝑥−∝ 𝑦, 𝑦) Reemplazando (2)

𝐼(𝑧, 𝑦) = 𝐼(𝑥, 𝑦)−∝ 𝐼(𝑦, 𝑦) Pro (2) producto interno

𝐼(𝑧, 𝑦) = 𝐼(𝑥, 𝑦)−∝ (𝑁𝐼 (𝑦))2 Def. ‖ ‖

𝐼(𝑧, 𝑦) = 𝐼(𝑥, 𝑦) − 𝐼(𝑥, 𝑦) Reemplazando (1)

𝐼(𝑧, 𝑦) = 0

Luego z es ortogonal a “y” ya que el producto interno es cero

Ahora, como 𝑥 = 𝑧+∝ 𝑦; Despejando x de (2)

(𝑁𝐼 (𝑥))2 = 𝐼(𝑧+∝ 𝑦, 𝑧+∝ 𝑦) Def. 𝑁𝐼

(𝑁𝐼 (𝑥))2 = 𝐼(𝑧, 𝑧+∝ 𝑦) + 𝐼(∝ 𝑦, 𝑧+∝ 𝑦) Pro (2) producto interno

(𝑁𝐼 (𝑥))2 = 𝐼(𝑧, 𝑧) + 𝐼(𝑧, ∝ 𝑦) + 𝐼(∝ 𝑦, 𝑧) + 𝐼(∝ 𝑦, ∝ 𝑦) Distributiva

(𝑁𝐼 (𝑥))2 = 𝐼(𝑧, 𝑧)+∝ 𝐼(𝑧, 𝑦)+∝ 𝐼(𝑦, 𝑧) +∝2 𝐼(𝑦, 𝑦)

(𝑁𝐼 (𝑥))2 = 𝐼(𝑧, 𝑧) + 2 ∝ 𝐼(𝑧, 𝑦) +∝2 𝐼(𝑦, 𝑦)

(𝑁𝐼 (𝑥))2 = (𝑁𝐼 (𝑧))2 +∝2 (𝑁𝐼 (𝑦))2 Luego, debido a que 2 ∝ 𝐼(𝑧, 𝑦) = 0

De donde
2
𝐼(𝑥, 𝑦)
(𝑁𝐼 (𝑥))2 ≥∝2 (𝑁𝐼 (𝑦))2 = ( 2
) (𝑁𝐼 (𝑦))2
(𝑁𝐼 (𝑦))

2
(𝐼(𝑥,𝑦))
(𝑁𝐼 (𝑥))2 ≥∝2 (𝑁𝐼 (𝑦))2 = 2
(𝑁𝐼 (𝑦))

Esto es

(𝑁𝐼 (𝑥)𝑁𝐼 (𝑦))2 ≥ (𝑁𝐼 (𝑥, 𝑦))2

Lo cual implica

|𝐼(𝑥, 𝑦)| ≤ 𝑁𝐼 (𝑥). 𝑁𝐼 (𝑦) raíz cuadrada

Si z=0; x=∝ 𝑦

|𝐼(𝑥, 𝑦)| = |𝐼(∝ 𝑦, 𝑦)|

|𝐼(𝑥, 𝑦)| = |∝ 𝐼(𝑦, 𝑦)| Prop (3) producto interno

|𝐼(𝑥, 𝑦)| = |∝||(𝑁𝐼 (𝑦))2 | Prop. De | | . Def. de

2
(𝐼(𝑥,𝑦)) 2|
|𝐼(𝑥, 𝑦)| = | 2 | |(𝑁𝐼 (𝑦)) Reemplazando ∝
(𝑁𝐼 (𝑦))

|𝐼(𝑥, 𝑦)| = |𝐼(𝑥, 𝑦)|

Lema 3.0: Sean p,q números mayores o iguales que 1, 𝑝 𝑦 𝑞 ∈ 𝑅 tales que
1 1 |𝑎|𝑝 |𝑏|𝑞
+ 𝑞 = 1, entonces (∀𝑎, 𝑏 ∈ 𝑅) (|𝑎𝑏| ≤ + )
𝑝 𝑝 𝑞

Demostración:
Sea 𝑓: [0, ∞) → 𝑅 , 𝑓(𝑥) = 𝑥 ∝ −∝ 𝑥+∝ ; ∝∈ (0,1)

Analicemos que 𝑓 alcanza su valor máximo en x=1

𝑓 ′ (𝑥) =∝ 𝑥 ∝−1 −∝

∝ 𝑥 ∝−1 −∝= 0 𝐼𝑔𝑢𝑎𝑙𝑎𝑛𝑑𝑜 𝑎 0

∝ (𝑥 ∝−1 − 1) = 0

1 1
∝ (𝑥 ∝−1 − 1) = 0.
∝ ∝
𝑥 ∝−1 − 1 = 0

𝑥 ∝−1 = 1
1⁄
𝑥 = (1) ∝−1

𝑥=1

Luego, determinaremos la concavidad de la función haciendo uso del criterio de la

segunda derivada

𝑓′′(𝑥) =∝ (∝ −1)𝑥 ∝−2

𝑓′′(1) =∝ (∝ −1)

∝ (∝ −1) < 0

La desigualdad es válida para el intervalo comprendido entre 0 <∝< 1

Entonces, ∀𝑥 ≥ 0, 𝑓(𝑥) ≤ 𝑓(1)

𝑓(1) = 1∝ −∝ 1+∝

𝑓(1) = 1
1 |𝑎|𝑝
Tomando a ∝= 𝑝 y haciendo 𝑥 = |𝑏|𝑞
se tiene entonces

𝑓(𝑥) = 𝑥 ∝ −∝ 𝑥+∝
1
|𝑎|𝑝 |𝑎|𝑝 𝑝 1 |𝑎|𝑝 1
𝑓 ( 𝑞 ) = ( 𝑞 ) − ( 𝑞 ) + ≤ 1 , 𝑝𝑜𝑟 𝑓(𝑥) ≤ 𝑓(1)
|𝑏| |𝑏| 𝑝 |𝑏| 𝑝
 |𝑎| |𝑎|𝑝 1
= 𝑞 − 𝑞
≤ 1 − , 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑎𝑑𝑖𝑡𝑖𝑣𝑜
𝑝|𝑏| 𝑝
|𝑏|𝑝

|𝑏|𝑞 |𝑎| |𝑎|𝑝 |𝑏|𝑞

= 𝑞 − ≤ , 𝑚𝑢𝑙𝑡𝑖. 𝑝𝑜𝑟 |𝑏|𝑞
𝑝 𝑞
|𝑏|𝑝

|𝑏|𝑞 |𝑎| |𝑏|𝑞 |𝑎|𝑝

= 𝑞 ≤ + , 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑎𝑑𝑖𝑡𝑖𝑣𝑜
𝑞 𝑝
|𝑏|𝑝

𝑞−
𝑞 |𝑏|𝑞 |𝑎|𝑝
= |𝑏| 𝑝 |𝑎| ≤ +
𝑞 𝑝
1
𝑞(1− ) |𝑏|𝑞 |𝑎|𝑝
= |𝑏| 𝑝 |𝑎| ≤ +
𝑞 𝑝
1
𝑞( ) |𝑏|𝑞 |𝑎|𝑝 1 1
= |𝑏| 𝑞 |𝑎| ≤ + , 𝑢𝑡𝑖𝑙𝑖𝑧𝑎𝑛𝑑𝑜 + =1
𝑞 𝑝 𝑞 𝑝

|𝑏|𝑞 |𝑎|𝑝
= |𝑏||𝑎| ≤ +
𝑞 𝑝

Proposición 3.2: (Desigualdad de Holder)

1
Sean 𝑥⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ) y 𝑦⃗ = (𝑦1 , 𝑦2 , … , 𝑦𝑛 ) ∈ 𝑅 𝑛 y sean 𝑝 𝑦 𝑞 > 0 tales que 𝑝 +
1
= 1 entonces:
𝑞

𝑛 𝑛 𝑛
1⁄ 1
∑|𝑥𝑖 . 𝑦𝑖 | ≤ (∑|𝑥𝑖 | ) . (∑|𝑦𝑖 |𝑞 ) ⁄𝑞
𝑝 𝑝 (1)
𝑖=1 𝑖=1 𝑖=1

Demostración:

⃗⃗⃗⃗ ∈ 𝑅 𝑛 entonces (∃𝛼, 𝛽 ∈ 𝑅) tales que:

Sean 𝑥⃗, 𝑦

𝛼𝑥⃗ = (𝛼𝑥1 , 𝛼𝑥2 , … , 𝛼𝑥𝑛 )

𝛽𝑦⃗ = (𝛽𝑦1 , 𝛽𝑦2 , … , 𝛽𝑦𝑛 )

Por lo tanto se tiene que

 𝑛 𝑛

∑|(𝛼𝑥𝑖 ). (𝛽𝑦𝑖 )| = |𝛼. 𝛽| ∑|𝑥𝑖 . 𝑦𝑖 | 𝑃𝑟𝑜𝑝. 𝑠𝑢𝑚𝑎𝑡𝑜𝑟𝑖𝑎

𝑖=1 𝑖=1

𝑛 𝑛
1⁄ 1
≤ |𝛼. 𝛽| (∑|𝑥𝑖 | ) . (∑|𝑦𝑖 |𝑞 ) ⁄𝑞
𝑝 𝑝 𝑃𝑜𝑟 𝐻𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠 (1)
𝑖=1 𝑖=1

𝑛 𝑛
1 1
= (∑|𝛼𝑥𝑖 |𝑝 ) ⁄𝑝 . (∑|𝛽𝑦𝑖 |𝑞 ) ⁄𝑞 𝑃𝑟𝑜𝑝. 𝑠𝑢𝑚𝑎𝑡𝑜𝑟𝑖𝑎
𝑖=1 𝑖=1

Por lo tanto veremos que la desigualdad de Holder (1) es representado para todos
los pares de vectores 𝑥⃗, 𝑦
⃗⃗⃗⃗ los cuales satisfacen:
𝑛 𝑛

∑|𝑥𝑖 |𝑝 = 1 = ∑|𝑦𝑖 |𝑞 (2)

𝑖=1 𝑖=1

Debido a la homogeneidad de (1) por Hipótesis la desigualdad se llevará acabo para

⃗⃗⃗⃗ ∈ 𝑅 𝑛 .
𝑥⃗, 𝑦

A partir de (2), (1) queda reducido de la siguiente manera

𝑛

∑|𝑥𝑖 . 𝑦𝑖 | ≤ 1 (3)
𝑖=1

Para probar (3) debemos considerar la siguiente curva

𝑤 = 𝑧 𝑝−1 , 𝑧 ∈ [0, 𝑥] 𝑅1

Equivalentemente se tiene que

𝑧 = 𝑤 𝑞−1 𝑤 ∈ [0, 𝑦] 𝑅2

Donde x,y son cualquier número no negativo

Y R2

R1

X
Ahora en el plano anterior nombramos a R1 como la región delimitada por las
curvas: 𝑧 = 0; 𝑤 = 𝑧 𝑝−1 ; 𝑧 = 𝑥

Análogamente para R2 se tiene:

𝑤 = 0; 𝑧 = 𝑤 𝑞−1 ; 𝑤 = 𝑦

Procediendo a hallar el área de cada región se tiene:

𝑥 𝑥𝑝 𝑦 𝑦𝑞
𝐴(𝑅1) = ∫𝑜 𝑧 𝑝−1 𝑑𝑧 = ; 𝐴(𝑅2) = ∫𝑜 𝑤 𝑞−1 𝑑𝑤 =
𝑝 𝑞

Por lo tanto se tiene que

𝑥. 𝑦 ≤ 𝐴(𝑅1) + 𝐴(𝑅2)

𝑥𝑝 𝑦𝑞
𝑥. 𝑦 ≤ + 𝑃𝑜𝑟 𝑒𝑙 𝑙𝑒𝑚𝑎 𝑎𝑛𝑡𝑒𝑟𝑖𝑜𝑟
𝑝 𝑞

Luego reemplazando a 𝑥 con|𝑥𝑖 | y a 𝑦 con |𝑦𝑖 | se tiene lo siguiente

|𝑥𝑖 |𝑝 |𝑦𝑖 |𝑞
|𝑥𝑖 𝑦𝑖 | ≤ + ∀𝑖 = 1, … , 𝑛
𝑝 𝑞

Se tiene
𝑛 𝑛
|𝑥𝑖 |𝑝 |𝑦𝑖 |𝑞
∑|𝑥𝑖 . 𝑦𝑖 | ≤ ∑( + )
𝑝 𝑞
𝑖=1 𝑖=1

𝑛 𝑛 𝑛
1 1
∑|𝑥𝑖 . 𝑦𝑖 | ≤ ∑|𝑥𝑖 |𝑝 + ∑|𝑦𝑖 |𝑞 𝑃𝑟𝑜𝑝. 𝑠𝑢𝑚𝑎𝑡𝑜𝑟𝑖𝑎
𝑝 𝑞
𝑖=1 𝑖=1 𝑖=1

Recordando que ∑𝑛𝑖=1|𝑥𝑖 |𝑝 = 1 𝑦 ∑𝑛𝑖=1|𝑦𝑖 |𝑞 = 1 se tiene entonces

𝑛
1 1
∑|𝑥𝑖 . 𝑦𝑖 | ≤ +
𝑝 𝑞
𝑖=1

𝑛
1 1
∑|𝑥𝑖 . 𝑦𝑖 | ≤ 1 𝑦𝑎 𝑞𝑢𝑒 + = 1 𝑝𝑜𝑟 𝐻𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠
𝑝 𝑞
𝑖=1

Por lo tanto queda probado (3). Por consiguiente queda demostrada la

desigualdad de Holder
Ejemplo: ‖ ‖𝑝 : 𝑅 𝑛 → 𝑅, 𝑝 ≥ 1 Definida con:
1⁄
‖(𝑥1 , 𝑥2 , … , 𝑥𝑛 )‖𝑝 = (|𝑥1 |𝑝 + |𝑥2 |𝑝 + ⋯ + |𝑥𝑛 |𝑝 ) 𝑝

i) ‖∝ 𝑥⃗‖𝑝 = |∝|‖𝑥⃗‖𝑝
ii) 𝑥⃗ ≠ ⃗⃗
0 → ‖𝑥⃗‖𝑝 > 0
iii) ‖𝑥⃗ + 𝑦⃗‖𝑝 ≤ ‖𝑥⃗‖𝑝 + ‖𝑦⃗‖𝑝

Es una norma en 𝑅 𝑛 llamada la norma de Minkowski

Solución:

i) Si ∝∈ 𝑅, ‖∝ 𝑥⃗‖𝑝 = ‖(∝ 𝑥1 , … , ∝ 𝑥𝑛 ‖𝑝
𝑛
1⁄
= (∑|∝ 𝑥𝑖 |𝑝 ) 𝑝 𝐷𝑒𝑓. 𝑁. 𝑀𝑖𝑛
𝑖=1

𝑛
1⁄
= (∑|∝|𝑝 |𝑥𝑖 |𝑝 ) 𝑝 𝑃𝑟𝑜𝑝. 𝑣𝑎𝑙𝑜𝑟 𝑎𝑏𝑠𝑜𝑙𝑢𝑡𝑜
𝑖=1

𝑛
1⁄
= (|∝|𝑝 ∑|𝑥𝑖 |𝑝 ) 𝑝 𝑃𝑟𝑜𝑝. 𝑠𝑢𝑚𝑎𝑡𝑜𝑟𝑖𝑎
𝑖=1

𝑛
𝑝 1⁄𝑝 1
= (|∝| ) (∑|𝑥𝑖 |𝑝 ) ⁄𝑝 𝑃𝑟𝑜𝑝. 𝑒𝑥𝑝𝑜𝑛𝑒𝑛𝑡𝑒𝑠
𝑖=1

= |∝|‖𝑥⃗‖𝑝 𝐷𝑒𝑓. 𝑑𝑒 𝑛𝑜𝑟𝑚𝑎 𝑑𝑒 𝑚𝑖𝑛𝑘𝑜𝑤𝑠𝑘𝑖

ii) 𝑥⃗ ≠ ⃗⃗
0 → (∃𝑖 = 1, … , 𝑛)(𝑥𝑖 ≠ 0)
→ (∃𝑖 = 1, … , 𝑛)( |𝑥𝑖 |𝑝 > 0)
𝑛
1⁄
→ (∑|𝑥𝑖 |𝑝 ) 𝑝 >0
𝑖=1
→ ‖𝑥
⃗⃗⃗⃗‖
𝑖 𝑝 >0

iii) ‖𝑥⃗ + 𝑦⃗‖𝑝 ≤ ‖𝑥⃗‖𝑝 + ‖𝑦⃗‖𝑝

Sea 𝑥⃗, 𝑦⃗ ∈ 𝑅 𝑛 ; 𝑥⃗ = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ) 𝑦⃗ = (𝑦1 , 𝑦2 , … , 𝑦𝑛 )
∞ ∞ ∞
1 1 1⁄
(∑|𝑥𝑖 + 𝑦𝑖 |𝑝 ) ⁄𝑝 ≤ (∑|𝑥𝑖 |𝑝 ) ⁄𝑝 + (∑|𝑦𝑖 |𝑝 ) 𝑝

𝑖=1 𝑖=1 𝑖=1

Para 𝑝 ≥ 1

Si p=1 se tiene
∞ ∞ ∞
1 1 1⁄
(∑|𝑥𝑖 + 𝑦𝑖 |1 ) ⁄1 = (∑|𝑥𝑖 |1 ) ⁄1 + (∑|𝑦𝑖 |1 ) 1
𝑖=1 𝑖=1 𝑖=1

𝑛 𝑛

∑|𝑥𝑖 + 𝑦𝑖 | ≤ ∑|𝑥𝑖 | + |𝑦𝑖 | ∀𝑖: 1, . . , 𝑛

𝑖=1 𝑖=1

Para 𝑝 > 1
𝑛 𝑛 𝑛

∑|𝑥𝑖 + 𝑦𝑖 |𝑝 ≤ ∑|𝑥𝑖 ||𝑥𝑖 + 𝑦𝑖 |𝑝−1 + ∑|𝑦𝑖 ||𝑥𝑖 + 𝑦𝑖 |𝑝−1 𝑃𝑟𝑜. 𝑒𝑥𝑝𝑜𝑛𝑒𝑛𝑐𝑖𝑎𝑙𝑒𝑠 (1)
𝑖=1 𝑖=1 𝑖=1

Tomando
𝑛 𝑛 𝑛
1⁄ 1⁄
∑|𝑥𝑖 ||𝑥𝑖 + 𝑦𝑖 |𝑝−1 𝑝
≤ (∑|𝑥𝑖 | ) 𝑝 (∑(|𝑥𝑖 + 𝑦𝑖 |𝑝−1 )𝑞 ) 𝑞 𝑈𝑠𝑎𝑛𝑑𝑜 𝑙𝑎 "<" 𝑑𝑒 𝐻𝑜𝑙𝑑𝑒𝑟
𝑖=1 𝑖=1 𝑖=1

𝑛 𝑛
1⁄ 1⁄
≤ 𝑝
(∑|𝑥𝑖 | ) 𝑝 (∑|𝑥𝑖 + 𝑦𝑖 |(𝑝−1)𝑞 ) 𝑞 𝑃𝑟𝑜𝑝. 𝑒𝑥𝑝𝑜𝑛𝑒𝑛𝑐𝑖𝑎𝑙𝑒𝑠
𝑖=1 𝑖=1

Como (𝑝 − 1)𝑞 = 𝑝𝑞 − 𝑞

Entonces
1 1
+𝑞 =1
𝑝

𝑞+𝑝
=1
𝑝𝑞

𝑝 = 𝑝𝑞 − 𝑞 𝐷𝑒𝑠𝑝𝑒𝑗𝑎𝑛𝑑𝑜 𝑝
𝑛 𝑛
𝑝 1⁄ 1⁄
≤ (∑|𝑥𝑖 | ) 𝑝 (∑|𝑥𝑖 + 𝑦𝑖 |𝑝 ) 𝑞 𝑅𝑒𝑒𝑚𝑝𝑙𝑎𝑧𝑎𝑛𝑑𝑜 𝑝 = 𝑝𝑞 − 𝑞 (2)
𝑖=1 𝑖=1
Ahora tomando
𝑛

∑|𝑦𝑖 ||𝑥𝑖 + 𝑦𝑖 |𝑝−1 𝑑𝑒 (1)

𝑖=1

𝑛 𝑛 𝑛
1⁄ 1⁄
∑|𝑦𝑖 ||𝑥𝑖 + 𝑦𝑖 |𝑝−1 ≤ 𝑝
(∑|𝑦𝑖 | ) 𝑝 (∑(|𝑥𝑖 + 𝑦𝑖 |𝑝−1 )𝑞 ) 𝑞 "<" 𝑑𝑒 𝐻𝑜𝑙𝑑𝑒𝑟
𝑖=1 𝑖=1 𝑖=1

𝑛 𝑛
𝑝 1⁄ 1⁄
≤ (∑|𝑦𝑖 | ) 𝑝 (∑|𝑥𝑖 + 𝑦𝑖 |𝑝 ) 𝑞 𝑅𝑒𝑒𝑚𝑝𝑙𝑎𝑧𝑎𝑛𝑑𝑜 𝑝 = 𝑝𝑞 − 𝑞 (3)
𝑖=1 𝑖=1

Reemplazando (2) y (3) en (1) se tiene

𝑛 𝑛 𝑛 𝑛 𝑛
1⁄ 1 1⁄ 1⁄
∑|𝑥𝑖 + 𝑦𝑖 |𝑝 ≤ 𝑝
(∑|𝑥𝑖 | ) (∑|𝑥𝑖
𝑝 + 𝑦𝑖 |𝑝 ) ⁄𝑞 + 𝑝
(∑|𝑦𝑖 | ) (∑|𝑥𝑖
𝑝 + 𝑦𝑖 |𝑝 ) 𝑞

𝑖=1 𝑖=1 𝑖=1 𝑖=1 𝑖=1

∗ 𝑃𝑜𝑟 𝑇𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑖𝑑𝑎𝑑
𝑛 𝑛 𝑛 𝑛
1⁄ 1 1⁄
= ∑|𝑥𝑖 + 𝑦𝑖 |𝑝 ≤ (∑|𝑥𝑖 + 𝑦𝑖 | ) 𝑞 [(∑|𝑥𝑖 |𝑝 ) ⁄𝑝
𝑝
+ (∑|𝑦𝑖 |𝑝 ) 𝑝 ], 𝐹𝑎𝑐𝑡𝑜𝑟𝑖𝑧𝑎𝑐𝑖ó𝑛

𝑖=1 𝑖=1 𝑖=1 𝑖=1

𝑛 𝑛
∑𝑛𝑖=1|𝑥𝑖 + 𝑦𝑖 |𝑝 1 1⁄
= 1 ≤ (∑|𝑥𝑖 |𝑝 ) ⁄𝑝 + (∑|𝑦𝑖 |𝑝 ) 𝑝
(∑𝑛𝑖=1|𝑥𝑖 + 𝑦𝑖 |𝑝 ) ⁄𝑞 𝑖=1 𝑖=1

𝑛 𝑛 𝑛
1
1− 1 1⁄
= (∑|𝑥𝑖 + 𝑦𝑖 |𝑝 ) 𝑞 ≤ (∑|𝑥𝑖 |𝑝 ) ⁄𝑝 + (∑|𝑦𝑖 |𝑝 ) 𝑝 𝑃𝑟𝑜𝑝. 𝐹𝑟𝑎𝑐𝑐𝑖𝑜𝑛𝑒𝑠
𝑖=1 𝑖=1 𝑖=1

1 1 1 1
Como 𝑝 + 𝑞 = 1 entonces 𝑝 = 1 − 𝑞

𝑛 𝑛 𝑛
1 1 1
1 1⁄
(∑|𝑥𝑖 + 𝑦𝑖 |𝑝 )𝑝 ≤ (∑|𝑥𝑖 |𝑝 ) ⁄𝑝 + (∑|𝑦𝑖 |𝑝 ) 𝑝 𝑅𝑒𝑒𝑚𝑝𝑙𝑎𝑧𝑎𝑛𝑑𝑜 =1−
𝑝 𝑞
𝑖=1 𝑖=1 𝑖=1

Quedando demostrada la norma de Minkowski

Definición 4.0: (Bola Abierta).
Sean 𝑎⃗ ∈ ℝ𝑛 , r>0. La n-bola abierta de centro 𝑎⃗ y radio r, notada 𝐵𝑛 (𝑎⃗, r), se define
como el conjunto de puntos de ℝ𝑛 cuya distancia al centro 𝑎⃗ es menor que r. Es
decir,

𝐵𝑛 (𝑎⃗, r) = { 𝑥 ⃗⃗⃗⃗ − 𝑎⃗‖ < 𝑟} ⊆ ℝ𝑛

⃗⃗⃗⃗ ∈ ℝ ∕ ‖𝑥

Definición 4.1:(Punto Interior de un Conjunto).

Sea 𝐴 ⊆ ℝ𝑛 , 𝑎⃗ ∈ 𝐴 es un punto interior de 𝐴 si existe 𝑟 > 0 tal que 𝐵𝑛 (𝑎⃗, r) ⊆ 𝐴

Definición 4.2: (Interior de un Conjunto).

El conjunto de puntos interiores de un conjunto 𝐴 ⊆ ℝ𝑛 se denomina el interior de
𝐴 y se denota por 𝑖𝑛𝑡𝐴 = 𝐴̇

𝑖𝑛𝑡𝐴 = {𝑎⃗ ∈ 𝐴 ∕ (∃𝑟 > 0)(𝐵𝑛 (𝑎⃗, r) ⊆ A)}

Definición 4.3: (Conjunto Abierto).

Un conjunto 𝐴 ⊆ ℝ𝑛 es abierto si y solo si contiene todos sus puntos interiores, es
decir 𝐴 = 𝑖𝑛𝑡𝐴.

Proposición 4.0
1) 𝑖𝑛𝑡𝐴 ⊆ A
2) 𝐵𝑛 (𝑎⃗, r) es un conjunto abierto.
3) 𝐼𝑛𝑡(𝑖𝑛𝑡𝐴) = 𝑖𝑛𝑡𝐴
4) 𝑖𝑛𝑡𝐴 es un conjunto abierto
5) ∅ 𝑦 ℝ𝑛 son abiertos.
6) 𝐴 ⊆ 𝐵 → 𝑖𝑛𝑡𝐴 ⊆ 𝑖𝑛𝑡𝐵
7) 𝑖𝑛𝑡(𝐴 ∩ 𝐵) = 𝑖𝑛𝑡𝐴 ∩ 𝑖𝑛𝑡𝐵
8) 𝑖𝑛𝑡(𝐴 ∪ 𝐵) ⊆ 𝑖𝑛𝑡𝐴 ∪ 𝑖𝑛𝑡𝐵
9) 𝑖𝑛𝑡𝐴 es el mayor conjunto abierto contenido en 𝐴.
10) La unión de una colección arbitraria de un conjunto abierto es un conjuntó
abierto.
11) 𝑖𝑛𝑡𝐴 es la unión de todos los conjuntos abiertos contenidos en 𝐴.
12)La intersección de una colección finita de un conjunto abierto es un conjuntó
abierto.
13)El producto abierto cartesiano de intervalos abiertos unidimensionales es un
conjunto abierto de ℝ𝑛

Demostración.

1. 𝒊𝒏𝒕𝑨 ⊆ 𝐀
 𝑖𝑛𝑡𝐴 = {𝑎⃗ ∈ 𝐴 ∕ (∃𝑟 > 0)(𝐵𝑛 (𝑎⃗, r) ⊆ A)} Def. de interior de un conjunto.

Como 𝑎⃗ ∈ 𝑖𝑛𝑡𝐴 entonces 𝑎⃗ ∈ 𝐴

Por lo tanto 𝑖𝑛𝑡𝐴 ⊆ 𝐴. Def. de contenencia.

⃗⃗, 𝐫) es un conjunto abierto

2. 𝑩𝒏 (𝒂

Para que se abierto debemos ver que, 𝐵𝑛 (𝑎⃗, r) = 𝑖𝑛𝑡(𝐵𝑛 (𝑎⃗, r)) , tenemos:

(1) 𝐵𝑛 (𝑎⃗, r) ⊆ 𝑖𝑛𝑡(𝐵𝑛 (𝑎⃗, r)) ∧ (2) (𝑖𝑛𝑡(𝐵𝑛 (𝑎⃗, r)) ⊆ 𝐵𝑛 (𝑎⃗, r)

La (2) la tenemos demostrada por la proposición 1.

Para (1), 𝐵𝑛 (𝑎⃗, r) ⊆ 𝑖𝑛𝑡(𝐵𝑛 (𝑎⃗, r))

Tomamos un punto 𝑥⃗ tal que:

⃗⃗⃗⃗ ∈ 𝐵𝑛 (𝑎⃗, r) → (∃𝑟1 > 0)(𝐵𝑛 ( 𝑥⃗, 𝑟1 ) ⊆ 𝐵𝑛 (𝑎⃗, r))

𝑥 Def. de punto interior.

Para un punto 𝑦⃗ ∈ ℝ𝑛 ,

⃗⃗⃗⃗‖ < 𝑟1 ) ⊆ (∃𝑟 > 0)( ‖𝑦⃗ − 𝑎⃗‖ < 𝑟)

(∃𝑟1 > 0)(‖𝑦⃗ − 𝑥 Def. de Bola abierta.

Luego como ‖𝑦⃗ − 𝑥

⃗⃗⃗⃗‖ < 𝑟1 ⊆ ‖𝑦⃗ − 𝑎⃗‖ < 𝑟

‖𝑦⃗ − 𝑥
⃗⃗⃗⃗‖ < 𝑟 Transitividad.

⃗⃗⃗⃗ ∈ 𝑖𝑛𝑡(𝐵𝑛 (𝑎⃗, r)).

𝑥

3. 𝑰𝒏𝒕(𝒊𝒏𝒕𝑨) = 𝒊𝒏𝒕𝑨
Tenemos que:

(1) 𝐼𝑛𝑡(𝑖𝑛𝑡𝐴) ⊆ 𝑖𝑛𝑡𝐴 ∧ (2) 𝑖𝑛𝑡𝐴 ⊆ 𝐼𝑛𝑡(𝑖𝑛𝑡𝐴)

La (1) la tenemos demostrada por la proposición 1.

Para (2), 𝑖𝑛𝑡𝐴 ⊆ 𝐼𝑛𝑡(𝑖𝑛𝑡𝐴)

Cualquier punto del 𝑖𝑛𝑡𝐴 es punto interior. Tomamos un punto arbitrario 𝑥⃗ ∈ 𝑖𝑛𝑡𝐴

Luego ∃𝑟 > 0, 𝐵𝑛 ( 𝑥⃗, 𝑟) ⊆ 𝐴 Def. de punto interior.

Ahora tomamos 𝑦⃗ ∈ 𝐵𝑛 ( 𝑥⃗, 𝑟) entonces 𝑦⃗ ∈ 𝑖𝑛𝑡(𝐵𝑛 ( 𝑥⃗, 𝑟)) Por ser Bola abierta
Luego ∃𝛿 > 0 tal que 𝐵𝑛 (𝑦⃗, 𝛿) ⊆ 𝐵𝑛 ( 𝑥⃗, 𝑟) ⊆ 𝐴.

Entonces 𝑦⃗ ∈ 𝑖𝑛𝑡𝐴

Como 𝑦⃗ es arbitrario vemos que todos los puntos que pertenecen 𝐵𝑛 ( 𝑥⃗, 𝑟) son
puntos 𝑖𝑛𝑡(𝐵𝑛 ( 𝑥⃗, 𝑟)) .
Es decir,

(∀𝑦⃗)( 𝑦⃗ ∈ 𝐵𝑛 ( 𝑥⃗, 𝑟) → 𝑦⃗ ∈ 𝑖𝑛𝑡𝐴) Def. de contenencia.

𝐵𝑛 ( 𝑥⃗, 𝑟) ⊆ 𝑖𝑛𝑡𝐴

ya que 𝑥⃗ es arbitrario, tenemos que todos los puntos del 𝑖𝑛𝑡𝐴 son 𝑖𝑛𝑡(𝑖𝑛𝑡𝐴).

Es decir, (∀𝑥⃗)(𝑥⃗ ∈ 𝑖𝑛𝑡𝐴 → 𝑥⃗ ∈ 𝑖𝑛𝑡(𝑖𝑛𝑡𝐴)

𝑖𝑛𝑡𝐴 ⊆ 𝐼𝑛𝑡(𝑖𝑛𝑡𝐴) Def. de contenencia.

Por lo tanto 𝐼𝑛𝑡(𝑖𝑛𝑡𝐴) = 𝑖𝑛𝑡𝐴

4. 𝒊𝒏𝒕𝑨 es un conjunto abierto

Tenemos que: 𝑖𝑛𝑡𝐴 ⊆ ℝ𝑛 es abierto en ℝ𝑛 .

Debemos ver que 𝐼𝑛𝑡(𝑖𝑛𝑡𝐴) = 𝑖𝑛𝑡𝐴, lo cual esta demostrado por la proposición 3.

Por lo tanto 𝑖𝑛𝑡𝐴 es abierto en ℝ𝑛 .

5. ∅ 𝒚 ℝ𝒏 son abiertos.

5.1 ℝ𝒏 es abierto, debemos ver que int ℝ𝑛 = ℝ𝑛

(1) 𝑖𝑛𝑡ℝ𝑛 ⊆ ℝ𝑛 ⋀ (2) ℝ𝑛 ⊆ 𝑖𝑛𝑡ℝ𝑛

La (1) la tenemos demostrada por la proposición 1.

Para (2), ℝ𝑛 ⊆ intℝ𝑛

Sea 𝑎⃗ ∈ ℝ𝑛 se tiene entonces ∃𝜀 ∈ ℝ𝑛 , 𝜀 > 0 tal que (𝐵𝑛 (𝑎⃗, 𝜖) ⊆ ℝ𝑛 )

𝐵𝑛 (𝑎⃗, 𝜖) = {𝑦⃗ ∈ ℝ𝑛 ∕ ‖𝑎⃗ − 𝑦⃗‖ < 𝜖} ⊆ ℝ𝑛 Def. de Bola abierta.

5.2 ∅ es abierto, debemos ver que 𝑖𝑛𝑡∅ = ∅

(1) 𝑖𝑛𝑡∅ ⊆ ∅ ⋀ (2) ∅ ⊆ 𝑖𝑛𝑡∅

La (1) la tenemos demostrada por la proposición 1.
la (2) la tenemos por propiedad de los conjuntos.

Por lo tanto ∅ y ℝ𝑛 son abiertos

6. 𝑨 ⊆ 𝑩 → 𝒊𝒏𝒕𝑨 ⊆ 𝒊𝒏𝒕𝑩

Sea un punto (𝑎⃗ ∈ 𝑖𝑛𝑡𝐴) → (𝑎⃗ ∈ 𝐴) ⋀ (∃𝑟 > 0)(𝐵𝑛 (𝑎⃗, 𝑟) ⊆ 𝐴) Def. de interior de
un conjunto.

⃗⃗⃗⃗ ∈ ℝ𝑛 ∕ ‖𝑥
Entonces (𝑎⃗ ∈ 𝐴) ⋀ (∃𝑟 > 0)(∀ 𝑥 ⃗⃗⃗⃗ − 𝑎⃗‖ < 𝑟 ) ⊆ 𝐴 Def. de Bola
abierta.

Por hipótesis como 𝑎⃗ ∈ 𝐴 ⋀ 𝐴 ⊆ 𝐵 → 𝑎⃗ ∈ 𝐵

⃗⃗⃗⃗ ∈ ℝ𝑛 ∕ ‖𝑥
→ (𝑎⃗ ∈ 𝐵)(∃𝑟 > 0)(∀ 𝑥 ⃗⃗⃗⃗ − 𝑎⃗‖ < 𝑟 ) ⊆ 𝐵

→ (𝑎⃗ ∈ 𝐵)(∃𝑟 > 0)(𝐵𝑛 (𝑎⃗, 𝑟) ⊆ 𝐵)

→ 𝑎⃗ ∈ 𝑖𝑛𝑡 𝐵

Por tanto 𝑖𝑛𝑡𝐴 ⊆ 𝑖𝑛𝑡𝐵

7. 𝒊𝒏𝒕(𝑨 ∩ 𝑩) = 𝒊𝒏𝒕𝑨 ∩ 𝒊𝒏𝒕𝑩

Se debe cumplir: (1) 𝑖𝑛𝑡(𝐴 ∩ 𝐵) ⊆ 𝑖𝑛𝑡𝐴 ∩ 𝑖𝑛𝑡𝐵 ∧ (2) 𝑖𝑛𝑡𝐴 ∩ 𝑖𝑛𝑡𝐵 ⊆ 𝑖𝑛𝑡(𝐴 ∩ 𝐵)

Para (1), 𝑖𝑛𝑡(𝐴 ∩ 𝐵) ⊆ 𝑖𝑛𝑡𝐴 ∩ 𝑖𝑛𝑡𝐵

(𝐴 ∩ 𝐵) ⊆ 𝐴 → 𝑖𝑛𝑡(𝐴 ∩ 𝐵) ⊆ 𝑖𝑛𝑡𝐴 Por la proposición 6.
(𝐴 ∩ 𝐵) ⊆ 𝐵 → 𝑖𝑛𝑡(𝐴 ∩ 𝐵) ⊆ 𝑖𝑛𝑡𝐵 Por la proposición 6.

Entonces 𝑖𝑛𝑡(𝐴 ∩ 𝐵) ⊆ 𝑖𝑛𝑡 𝐴 ∩ 𝑖𝑛𝑡𝐵 Por Monotonía de la intersección.

Para (2), 𝑖𝑛𝑡𝐴 ∩ 𝑖𝑛𝑡𝐵 ⊆ 𝑖𝑛𝑡(𝐴 ∩ 𝐵)

Tenemos que
𝑖𝑛𝑡𝐴 ⊆ 𝐴 Por la proposición 1.

𝑖𝑛𝑡𝐵 ⊆ 𝐵 Por la proposición 1.

Entonces 𝑖𝑛𝑡𝐴 ∩ 𝑖𝑛𝑡𝐵 ⊆ 𝐴 ∩ 𝐵 Por monotonía de la intersección.

⃗⃗⃗⃗ ∈ (𝑖𝑛𝑡𝐴 ∩ 𝑖𝑛𝑡𝐵) → 𝑥

Sea 𝑥 ⃗⃗⃗⃗ ∈ 𝑖𝑛𝑡𝐴 ∧ 𝑥
⃗⃗⃗⃗ ∈ 𝑖𝑛𝑡 𝐵 Def. de intersección.
→ (∃𝑟1 > 0)(𝐵𝑛 ( 𝑥⃗, 𝑟1 ) ⊆ 𝐴) ∧ ( ∃𝑟2 > 0)(𝐵𝑛 (𝑥⃗, 𝑟2 ) ⊆ 𝐵) Def. de interior de un
conjunto.

Luego, ∃𝑟 = 𝑚𝑖𝑛{𝑟1 , 𝑟2 } > 0 tal que:

𝐵𝑛 (𝑥⃗, 𝜖) ⊆ 𝐴

𝐵𝑛 (𝑥⃗, 𝜖) ⊆ 𝐵

→ 𝐵𝑛 (𝑥⃗, 𝜖) ⊆ 𝐴 ∩ 𝐵 Por Monotonía de la intersección.

→𝑥
⃗⃗⃗⃗ ∈ 𝑖𝑛𝑡(𝐴 ∩ 𝐵)

Por lo tanto 𝑖𝑛𝑡𝐴 ∩ 𝑖𝑛𝑡𝐵 ⊆ 𝑖𝑛𝑡(𝐴 ∩ 𝐵) Def. de contenencia.

8. 𝒊𝒏𝒕(𝑨 ∪ 𝑩) ⊆ 𝒊𝒏𝒕𝑨 ∪ 𝒊𝒏𝒕𝑩

(∀𝑥⃗ ∈ ℝ𝑛 ) (𝑥⃗ ∈ (𝑖𝑛𝑡𝐴 ∪ 𝑖𝑛𝑡𝐵) → 𝑥

⃗⃗⃗⃗ ∈ 𝑖𝑛𝑡(𝐴 ∪ 𝐵)) Def. de contenencia.

⃗⃗⃗⃗ ∈ (𝑖𝑛𝑡𝐴 ∪ 𝑖𝑛𝑡𝐵) → 𝑥

𝑥 ⃗⃗⃗⃗ ∈ 𝑖𝑛𝑡𝐴 ∨ 𝑥
⃗⃗⃗⃗ ∈ 𝑖𝑛𝑡𝐵 Def. de unión.

→ (∃𝑟1 > 0)(𝐵𝑛 ( 𝑥⃗, 𝑟1 ) ⊆ 𝐴) ∨ ( ∃𝑟2 > 0)(𝐵𝑛 (𝑥⃗, 𝑟2 ) ⊆ 𝐵) Def. de interior de un
conjunto.

Ahora, como 𝐴 ⊆ 𝐴 ∪ 𝐵 ∧ 𝐵 ⊆ 𝐴 ∪ 𝐵 entonces:

(∃𝑟1 > 0)(𝐵𝑛 ( 𝑥⃗, 𝑟1 ) ⊆ A ∪ B) ∨ ( ∃𝑟2 > 0)(𝐵𝑛 (𝑥⃗, 𝑟2 ) ⊆ A ∪ B)

Luego, ∃𝑟 = 𝑚𝑖𝑛{𝑟1 , 𝑟2 } > 0

→ (∃𝑟 > 0)(𝐵𝑛 ( 𝑥⃗, r) ⊆ A ∪ B) Por monotonía de la unión.

→ 𝑥⃗ ∈ 𝑖𝑛𝑡(𝐴 ∪ 𝐵)

(∀𝑥⃗ ∈ ℝ𝑛 ) (𝑥⃗ ∈ 𝑖𝑛𝑡𝐴 ∪ 𝑥⃗ ∈ 𝑖𝑛𝑡𝐵 → 𝑥⃗ ∈ 𝑖𝑛𝑡(𝐴 ∪ 𝐵)) Tautología transitiva.

Por lo tanto 𝑖𝑛𝑡(𝐴 ∪ 𝐵) ⊆ 𝑖𝑛𝑡𝐴 ∪ 𝑖𝑛𝑡𝐵

9. 𝒊𝒏𝒕𝑨 es el mayor conjunto abierto contenido en 𝑨.

Sea 𝐵 un conjunto abierto tal que 𝐵 ⊆ 𝐴 , debemos ver que 𝐵 ⊆ 𝑖𝑛𝑡𝐴.

Si 𝑥⃗ ∈ 𝐵 → 𝑥⃗ ∈ 𝑖𝑛𝑡𝐵 Def. de conjunto abierto.
→ (∃𝑟 > 0)(𝐵𝑛 ( 𝑥⃗, r) ⊆ B) Def. de punto interior.

Luego, como 𝐵 ⊆ 𝐴

→ (∃𝑟 > 0)(𝐵𝑛 ( 𝑥⃗, 𝑟) ⊆ 𝐴) Por transitividad de contenencia.

→ 𝑥⃗ ∈ 𝐼𝑛𝑡𝐴 Def. de punto interior.

Por lo tanto 𝐵 ⊆ 𝑖𝑛𝑡𝐴

10. La unión de una colección arbitraria de un conjunto abierto es un

conjuntó abierto.

Sea 𝒜 una colección arbitraria de conjuntos abiertos, debemos ver:

⋃ 𝐴 𝑒𝑠 𝑎𝑏𝑖𝑒𝑟𝑡𝑜, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠: 𝑖𝑛𝑡 ( ⋃ 𝐴) = ⋃ 𝐴

𝐴∈𝒜 𝐴∈𝒜 𝐴∈𝒜

(1) 𝑖𝑛𝑡 ( ⋃ 𝐴) ⊆ ⋃ 𝐴 ∧ (2) ⋃ 𝐴 ⊆ 𝑖𝑛𝑡 ( ⋃ 𝐴)

𝐴∈𝒜 𝐴∈𝒜 𝐴∈𝒜 𝐴∈𝒜

La (1) la tenemos demostrada por la proposición 1)

𝑃𝑎𝑟𝑎 (2), ⋃ 𝐴 ⊆ 𝑖𝑛𝑡 ( ⋃ 𝐴)

𝐴∈𝒜 𝐴∈𝒜

𝑆𝑒𝑎 𝑥⃗ ∈ ⋃ 𝐴
𝐴∈𝒜

Entonces, (∃𝐴 ∈ 𝒜)( 𝑥⃗ ∈ 𝐴) Como A es abierto se tiene que:

(∃𝐴 ∈ 𝒜)( 𝑥⃗ ∈ 𝑖𝑛𝑡𝐴) → (∃𝐴 ∈ 𝒜)(∃𝑟 > 0)(𝐵𝑛 ( 𝑥⃗, r) ⊆ A)

→ (∃𝑟 > 0)(𝐵𝑛 ( 𝑥⃗, r) ⊆ ⋃ 𝐴)

𝐴∈𝒜

→ 𝑥⃗ ∈ 𝑖𝑛𝑡 ⋃ 𝐴 𝑒𝑠 𝑎𝑏𝑖𝑒𝑟𝑡𝑜, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠

𝐴∈𝒜

11. 𝒊𝒏𝒕𝑨 es la unión de todos los conjuntos abiertos contenidos en 𝑨.

𝑖𝑛𝑡𝐴 = ⋃ 𝐵 𝑦 𝐵 𝑒𝑠 𝑎𝑏𝑖𝑒𝑟𝑡𝑜, 𝑡𝑒𝑛𝑒𝑚𝑜𝑠:

𝐵⊆𝐴
(1) 𝑖𝑛𝑡𝐴 ⊆ ⋃ 𝐵 ∧ (2) ⋃ 𝐵 ⊆ 𝑖𝑛𝑡𝐴
𝐵⊆𝐴 𝐵⊆𝐴

Para (1) por la proposición (1) y (4) tenemos:

𝐵 ⊆ ⋃𝐵 𝑃𝑜𝑟 𝑝𝑟𝑜𝑝𝑖𝑒𝑑𝑎𝑑𝑒𝑠 𝑑𝑒 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠. 𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠, 𝑖𝑛𝑡𝐴 ⊆ ⋃ 𝐵

𝐵⊆𝐴 𝐵⊆𝐴

𝑃𝑎𝑟𝑎 (2), ⋃ 𝐵 ⊆ 𝑖𝑛𝑡𝐴

𝐵⊆𝐴

𝐶𝑜𝑚𝑜 𝐵 ⊆ 𝐴 → ⋃ 𝐵 ⊆ 𝐴
𝐵⊆𝐴

Luego, como la unión de abiertos es abierta por la proposición (10) y como 𝑖𝑛𝑡𝐴 es
el mayor abierto contenido en A por la proposición (9),

𝑆𝑒 𝑡𝑖𝑒𝑛𝑒: ⋃ 𝐵 ⊆ 𝑖𝑛𝑡𝐴
𝐵⊆𝐴