Dependencia e independencia lineal

Vectores linealmente independientes en (en el espacio tridimensional).

Vectores linealmente dependientes en (en el plano).

En lgebra lineal, un conjunto de vectores es linealmente independiente si ninguno de

ellos puede ser escrito con una combinacin lineal de los restantes. Por ejemplo, en R3, el
conjunto de vectores (1, 0, 0), (0, 1, 0) y (0, 0, 1) es linealmente independiente, mientras
que (2, 1, 1), (1, 0, 1) y (3, 1, 2) no lo es, ya que el tercero es la suma de los dos
primeros.

ndice
[ocultar]

1Definicin

2Significacin geomtrica

3Ejemplo

o 3.1Mtodo alternativo usando determinantes

4Ejemplo II

o 4.1Demostracin

5Ejemplo III

o 5.1Demostracin

6Temas relacionados

Definicin[editar]
Dado un conjunto finito de vectores , se dice que estos vectores son linealmente
independientes si existen nmeros , donde la ecuacin
se satisface nicamente cuando son todos cero. En caso contrario, se dice que son
linealmente dependientes.
Ntese que el smbolo a la derecha del signo igual no es cero, sino que simboliza al vector
nulo . El conjunto de vectores nulos forma la matriz nula. Si tales nmeros no existen,
entonces los vectores son linealmente independientes. La definicin anterior tambin
puede extenderse a un conjunto infinito de vectores, concretamente un conjunto cualquiera
de vectores es linealmente dependiente si contiene un conjunto finito que sea linealmente
dependiente.
Utilizando conceptos de espacios vectoriales podemos redefinir la independencia lineal
as:
Un conjunto de vectores de un espacio vectorial es linealmente independiente si
Esta idea es importante porque los conjuntos de vectores que son linealmente
independientes, generan un espacio vectorial y forman una base para dicho espacio.
Entre las propiedades de los vectores linealmente dependientes e independientes
encontramos:

1. Un conjunto de vectores es linealmente dependiente si y solamente si alguno

de los vectores es combinacin lineal de los dems.

2. Si un conjunto de vectores es linealmente independiente cualquier

subconjunto suyo tambin lo es. Obviamente, si tenemos un conjunto de
vectores tales que ninguno de ellos es combinacin de los dems, escogiendo
solamente unos cuantos, no podrn ser combinacin de los otros.

3. Si un conjunto de vectores es linealmente dependiente, tambin lo es todo

conjunto que lo contenga.

4. Un conjunto de vectores son linealmente dependientes si y slo si son

paralelos.

5. Un conjunto de vectores son linealmente dependientes si los componentes

entre ellos son proporcionales, bien sea directa o inversamente proporcional.
Ya que un conjunto de vectores es linealmente dependiente si y solo si tiene
algn vector que es combinacin lineal de los dems, si metemos este
conjunto de vectores en otro ms grande, seguimos teniendo el vector que es
combinacin lineal de otros, por tanto, el conjunto ms grande ser
linealmente dependiente.

Significacin geomtrica[editar]
Geomtricamente , dos vectores son independientes si no tienen la misma direccin.
Esta definicin supone que el vector nulo tiene todas las direcciones, en otras palabras
este debe generar un rea.
Tres vectores son independientes si y solo si no estn contenidos en el mismo plano
vectorial, o sea si ninguno de ellos es una combinacin lineal de los otros dos (en
cuyo caso estara en el plano generado por estos vectores) en otras palabras este
debe generar un volumen.
El espacio generado por un sistema de vectores es el conjunto de todas las
combinaciones lineales de estos vectores. Es un espacio vectorial. El espacio
generado por un vector no nulo es la recta vectorial dirigido por este vector. El espacio
generado por dos vectores independientes es el plano que los contiene. Resulta fcil
comprobar que el espacio generado por un sistema de vectores es el menor (por la
inclusin) espacio vectorial que los contiene a todos. Se le denomina vect A, donde A
es el sistema de vectores. Si n vectores son independientes, el espacio generado es
de dimensin n (dimensin en el sentido usual: 0 para un punto, 1 para una recta, 2
para un plano...).

Ejemplo[editar]
En el espacio tridimensional usual:

u y j son dependientes por tener la misma direccin.

u y v son independientes y definen el plano P.

u, v y w son dependientes por estar los tres contenidos en el mismo plano.

u, v y k son independientes por serlo u y v entre s y no ser k una combinacin

lineal de ellos o, lo que es lo mismo, por no pertenecer al plano P. Los tres
vectores definen el espacio tridimensional.

Los vectores o (vector nulo, cuyas componentes son iguales a cero) y k son
dependientes ya que o = 0 k
Ejemplo del uso de la frmula f:
Son los tres vectores siguientes independientes?
Buscamos tres valores x, y y z que satisfagan la ecuacin:
Lo que equivale al sistema de ecuaciones siguiente:
Dado que la nica solucin es la trivial (x = y = z = 0), los tres vectores son
independientes.

Mtodo alternativo usando determinantes[editar]

Un mtodo alternativo usa el hecho que n vectores en Rn son linealmente
independientes si y solo si el determinante de la matriz formada por estos
vectores como columnas es distinto de cero.
Dados los vectores:
La matriz formada por stos es:
El determinante de esta matriz es:
Ya que el determinante es no nulo, los vectores (1, 1) y (3, 2)
son linealmente independientes.

Ejemplo II[editar]
Sea V = Rn y consideremos los siguientes elementos en V:
 Entonces e1, e2,..., en son linealmente independientes. Estos
vectores constituyen la base cannica en R.
Demostracin[editar]
Supongamos que a1, a2,..., an son elementos de R tales que:
Sustituyendo e1, e2,..., en resulta:
Multiplicando:
Sumando coordenadas:
Por lo que se obtiene:
As que:
Adems:
Pero 0 es un vector, entonces:
Por lo que ai = 0 para todo i en {1,..., n}.
Entonces los vectores son linealmente
independientes

Ejemplo III[editar]
Sea V el espacio vectorial de todas las funciones a
variable real. Entonces las funciones et y e2t en V son
linealmente independientes.
Demostracin[editar]
Supongamos que a y b son dos nmeros reales tales
que:
aet + be2t = 0
Para todos los valores de t. Necesitamos
demostrar que a = 0 y b = 0. Para hacer esto
dividimos por et (que es un nmero real diferente
de cero, sea cual sea t) y restando obtenemos:
bet = a
En otras palabras, la funcin bet debe ser
independiente de t, lo cual ocurre nicamente
cuando b = 0. Por lo tanto, a es cero.

Dimensin

Un cuadrado posee dos dimensiones. Amplindolo con una nueva dimensin genera un cubo, que
es tridimensional. (Figura en proyeccin). Aadiendo al cubo una nueva (que no se ve) genera
un hipercubo, que es de cuatro dimensiones. (Figura en proyeccin. Tal objeto no lo podemos
percibir en nuestro espacio tridimensional).
 Recta numrica.

La dimensin (del latn dmensi abstracto de dmtiri 'medir') es un nmero relacionado

con las propiedades mtricas o topolgicas de un objeto matemtico. La dimensin de un
objeto es una medida topolgica del tamao de sus propiedades de recubrimiento. Existen
diversas medidas o conceptualizaciones de dimensin: dimensin de un espacio
vectorial, dimensin topolgica, dimensin fractal, etc.
En geometra, fsica y ciencias aplicadas, la dimensin de un objeto se define
informalmente como el nmero mnimo de coordenadas necesarias para especificar
cualquier punto de ella.1 As, una lnea tiene una dimensin porque slo se necesita una
coordenada para especificar un punto de la misma. Una superficie, tal como un plano o la
superficie de un cilindro o una esfera, tiene dos dimensiones, porque se necesitan
dos coordenadas para especificar un punto en ella (por ejemplo, para localizar un punto en
la superficie de una esfera se necesita su latitud y longitud). El interior de un cubo, un
cilindro o una esfera es tridimensional porque son necesarias tres coordenadas para
localizar un punto dentro de estos espacios. En casos ms complicados como
la dimensin fractal o la dimensin topolgica de conjuntos abstractos la nocin de nmero
[entero] de coordinadas no es aplicable y en esos casos deben usarse definiciones
formales del concepto de dimensin.
Tambin se usa el trmino "dimensin" para indicar el valor de una medida lineal
o longitud recta de una figura geomtrica u objeto fsico, aunque dicho sentido no tiene
relacin con el concepto ms abstracto de dimensin, que es el nmero de grados de
libertad para realizar un movimiento en el espacio.

ndice
[ocultar]

1Dimensiones fsicas

2Dimensiones matemticas

o 2.1Dimensin de un espacio vectorial

o 2.2Dimensin topolgica

o 2.3Dimensin fractal de Hausdorff-Besicovitch

o 2.4La entropa de Kolmogrov

3En ciencia ficcin

4Vase tambin

5Referencias

Dimensiones fsicas[editar]
El mundo fsico en el que vivimos parece de cuatro dimensiones perceptibles.
Tradicionalmente, se separa en tres dimensiones espaciales y una dimensin temporal (y
en la mayora de los casos es razonable y prctico). Podemos movernos hacia arriba o
hacia abajo, hacia el norte o sur, este u oeste, y los movimientos en cualquier direccin
puede expresarse en trminos de estos tres movimientos. Un movimiento hacia abajo es
equivalente a un movimiento hacia arriba de forma negativa. Un movimiento norte-oeste es
simplemente una combinacin de un movimiento hacia el norte y de un movimiento hacia
el oeste.
El tiempo, a menudo, es la cuarta dimensin. Es diferente de las tres dimensiones
espaciales ya que slo hay uno, y el movimiento parece posible slo en una direccin. En
el nivel macroscpico los procesos fsicos no son simtricos con respecto al tiempo. Pero,
a nivel subatmico (escala de Planck), casi todos los procesos fsicos son simtricos
respecto al tiempo (es decir, las ecuaciones utilizadas para describir estos procesos son
las mismas independientemente de la direccin del tiempo), aunque esto no significa que
las partculas subatmicas puedan regresar a lo largo del tiempo.
La Teora de las cuerdas conjetura que el espacio en que vivimos tiene muchas ms
dimensiones (10, 11 o 26), pero que el universo medido a lo largo de estas dimensiones
adicionales tienen tamao subatmico. Estas ideas se basan en las ideas de los aos
1920 en el contexto de las teoras de Kaluza-Klein.
En las ciencias fsicas y la ingeniera, del tamao de una magnitud fsica es la expresin
del tipo de unidades de medida en que esta cantidad se expresa. La dimensin de
la velocidad, por ejemplo, resulta de dividir la longitud entre el tiempo [L]/[T]. En el
sistema SI, las dimensiones vienen dadas por 7 magnitudes fundamentales relacionadas
con las caractersticas fsicas fundamentales.

Dimensiones matemticas[editar]

Un segmento (1 dimensin) puede generar un polgono (2 dimensiones). Mediante nuevas

transformaciones podemos obtener un poliedro (3 dimensiones), un polcoro (4 dimensiones) o
diversos politopos (n dimensiones).

En matemticas, no existe una definicin de dimensin que incluya de manera adecuada

todas las situaciones. En consecuencia, los matemticos han elaborado muchas
definiciones de dimensin para los diferentes tipos de espacio. Todas, sin embargo, estn
en ltima instancia, basadas en el concepto de la dimensin de un espacio eucldeo n, E n.
El punto E 0 es 0-dimensional. La lnea E 1 es 1-dimensional. El plano E 2 es 2-dimensional.
En general, E n es n-dimensional.
Dimensin de un espacio vectorial[editar]
Artculo principal: Dimensin de un espacio vectorial

Un diagrama que muestra las primeras cuatro dimensiones espaciales.

Un espacio vectorial sobre un cuerpo que se dice que tiene dimensin si existe
una base de cardinal n. En un espacio vectorial, todas las bases tienen el mismo cardinal,
lo que hace de la dimensin el primer invariante del lgebra lineal. El espacio vectorial
trivial {0} tiene como dimensin 0 porque el conjunto vaco es su base: una combinacin de
cero vector da el vector nulo.
Intuitivamente hablando, la dimensin de un espacio vectorial nos dice cuntos elementos
necesitamos para poder expresar cualquier elemento del espacio en trminos de
las combinaciones lineales de los primeros, i.e., cuntos elementos del espacio
necesitamos para poder expresar todos los elementos del espacio como sumas de
mltiplos de stos elementos. Los espacios vectoriales de dimensin finita son muy
comunes en muchas reas de la ciencia, pero en matemticas y fsica cuntica tambin
aparecen casos importante de espacios vectoriales de dimensin infinita.
Dimensin topolgica[editar]
Artculo principal: Dimensin topolgica

La dimensin topolgica es un nmero entero, definitible para cualquier espacio

topolgico. Para un espacio formado por un punto la dimensin topolgica es 0, para la
recta real es 1, para el plano eucldeo es 2, etc.
Ms formalmente escrito, un objeto tiene dimensin topolgica m cuando cualquier
recubrimiento de ese objeto, tiene como mnimo una dimensin topolgica = m+1
(estableciendo previamente que el punto tiene dimensin topolgica = 0).
An ms formalmente: la definicin para conjuntos con dimensin topolgica 0 queda
como sigue: se dice que un conjunto F tiene dimensin topolgica 0, , si y slo si para
todo x perteneciente a F y cualquier conjunto abierto U (para la topologa relativa de F) que
contenga a x, existe un abierto V tal que x pertenece a V que est incluido en U y la
frontera de V con la interseccin a F es vaca.
Dimensin fractal de Hausdorff-Besicovitch[editar]
Artculos principales: Dimensin fractal y Dimensin de Hausdorff-Besicovich.

Esta dimensin es comnmente confundible con la entropa de Kolmogrov o la dimensin

de Minkowski Bouligand. La dimensin de Hausdorff-Besicovitch se obtiene como
un punto de inflexin del valor de la potencia elegida en la longitud de Hausdorff cuando
esta pasa de ser infinita a ser nula. La longitud de Hausdorff es la suma del
dimetro topolgico elevado a una potencia "s" de un recubrimiento entero del objeto a
partir de entornos o cubrimientos de dimetro delta o menor a este del propio objeto.
La entropa de Kolmogrov[editar]
Se denomina entropa de Kolmogrov a una dimensin obtenida para facilidad de clculos
como el cociente logartmico entre el nmero de homotecias internas encontradas en un
objeto por transformacin, y la inversa de la razn de esa homotecia. Es tambin
llamada dimensin por contaje de cajas y tiene una definicin ms intuitiva pero ms larga
al respecto.
 Es de esta manera que los objetos euclidianos diferenciables se ven con una
correspondencia en su valor dimensional topolgica, dimensin de contaje de cajas y
dimensin de Hausdorff-Besicovitch. Esto no resulta con los fractales, donde son definidos
por Benoit Mandelbrot como:
Objetos tales que su dimensin de Hausdorff - Besicovitch excede estrictamente su dimensin
topolgica.

Finalmente sabemos que existen casos de fractales que no se apegan a esta definicin;
una de esas es la curva del Diablo, la cual es un fractal derivado del conjunto de Cantor.
Un teorema es proposicin que afirma una verdad demostrable. En matemticas, es toda
proposicin que partiendo de un supuesto (hiptesis), afirma una verdad (tesis) no
evidente por s misma.1
Un teorema es una frmula bien formada que puede ser demostrada dentro de un sistema
formal, partiendo de axiomas u otros teoremas. Demostrar teoremas es un asunto central
en la lgica matemtica. Los teoremas tambin pueden ser expresados en lenguaje natural
formalizado.
Un teorema generalmente posee un nmero de premisas que deben ser enumeradas o
aclaradas de antemano. Luego existe una conclusin, una afirmacin lgica o matemtica,
la cual es verdadera bajo las condiciones dadas. El contenido informativo del teorema es la
relacin que existe entre las hiptesis y la tesis o conclusin.
Se llama corolario a una afirmacin lgica que sea consecuencia inmediata de un teorema,
pudiendo ser demostrada usando las propiedades del teorema previamente demostrado.

ndice
[ocultar]

1Teorema

2Teoremas intervinculados

3Terminologa en Matemticas

4Teoremas dentro de otras ciencias

5Teoremas clebres

6Vase tambin

7Referencias

o 7.1Bibliografa

o 7.2Enlaces externos

Teorema[editar]
Un teorema requiere de un marco lgico; este marco consistir en un conjunto
de axiomas (sistema axiomtico) y un proceso de inferencia, el cual permite derivar
teoremas a partir de los axiomas y teoremas que han sido derivados pero no son axiomas.
En lgica proposicional y de primer orden, cualquier afirmacin demostrada se denomina
teorema. Ms concretamente en lgica se llama demostracin a una secuencia finita
de frmulas bien formadas (frmulas lgicas bien formadas) F1, ...,Fn, tales que cada Fi es
o bien un axioma o bien un teorema que se sigue de dos frmulas anteriores Fj y Fk(tales
que j<i y k<i) mediante una regla de deduccin. Dada una demostracin como la anterior si
el elemento final Fn no es un axioma entonces es un teorema. Resumiendo lo anterior
puede decirse formalmente, un teorema es una frmula bien formada, que no es un
axioma, y que puede ser el elemento final de alguna demostracin, es decir, un teorema es
una frmula bien formada para la cual existe una demostracin.

Teoremas intervinculados[editar]
Siendo p y q dos proposiciones se obtienen los siguientes teoremas, intercambiando la
hiptesis con la conclusin y luego considerando las negaciones de las proposiciones
originales. 2
Teorema directo
pq
Teorema recproco q p
Teorema inverso p q
Teorema contrarrecproco q p 3

Terminologa en Matemticas[editar]
En matemtica una afirmacin debe ser interesante o importante dentro de la comunidad
matemtica para ser considerada un teorema. Las afirmaciones menos importantes se
denominan:

Lema: una afirmacin que forma parte de un teorema ms amplio. Algunas veces,
los lemas adquieren tanta importancia que se vuelven teoremas, como el lema de
Gauss y el lema de Zorn, por ejemplo. Estos, por s mismos, son teoremas, aunque,
por razones histricas, la palabra lema permanece en su nombre.

Corolario: una afirmacin que sigue inmediatamente a un teorema. Una

proposicin A es un corolario de una proposicin o teorema B si A puede ser deducida
sencillamente de B.

Proposicin: una afirmacin o resultado no asociado a ningn teorema en

particular.Muchos expertos usan proposicin como sinnimo de teorema. 4

Conjetura o hiptesis, un enunciado matemtico que se supone verdadero, an no

demostrado . Como ejemplos, de larga data: la conjetura de Goldbach o la hiptesis de
Riemann.

Teoremas dentro de otras ciencias[editar]

Con frecuencia en fsica o economa algunas afirmaciones importantes que pueden ser
deducidas o justificadas a partir de otras afirmaciones o hiptesis bsicas se llaman
comnmente teoremas. Sin embargo, frecuentemente las reas de conocimiento donde
aparecen esas afirmaciones con frecuencia no han sido formalizadas adecuadamente en
forma de sistema lgico por lo que estrictamente debera usarse con cautela el
trmino teorema para referirse a esas afirmaciones demostrables o deducibles de
supuestos ms bsicos.