Base ortonormal

Base ortonormal

Base ortonormal

En álgebra lineal, una base ortonormal de un espacio prehilbertiano V (es decir, un espacio vectorial con producto interno) o, en particular, de un espacio de Hilbert H, es un conjunto de elementos cuyo span es denso en el espacio, en el que los elementos son mutuamente ortogonales y normales, es decir, de magnitud unitaria. Una base ortogonal satisface las mismas condiciones, salvo la de magnitud unitaria; es muy sencillo transformar una base ortogonal en una base ortonormal mediante el producto por un escalar apropiado y de hecho, esta es la forma habitual en la que se obtiene una base ortonormal: por medio de una base ortogonal.

Así, una base ortonormal es una base ortogonal, en la cual la norma de cada elemento que la compone es unitaria.

Estos conceptos son importantes tanto para espacios de dimensión finita como de dimensión infinita. Para espacios de dimensión finita, la condición de span denso es la misma que la de 'span', como se usa en álgebra lineal.

Una base ortonormal por lo general no es una "base", es decir, en general no es posible escribir a cada elemento del espacio como una combinación lineal de un número finito de elementos de la base ortonormal. En el caso de dimensión infinita, esta distinción cobra importancia: la definición dada requiere solo que el span de una base ortonormal sea densa en el espacio vectorial, y no que iguale al espacio entero.

Una base ortonormal de un espacio vectorial V no tiene sentido si el espacio no posee un producto interno. Un Espacio de Banach no tendrá una base ortonormal a no ser que sea un espacio de Hilbert.

Ejemplos

  • El conjunto {e1=(1,0,0), e2=(0,1,0), e3=(0,0,1)} (la base estándar) forma una base ortonormal de R3.
Demostración: Mediante un cálculo directo se verifica que 〈e1, e2〉 = 〈e1, e3〉 = 〈e2, e3〉 = 0 y que ||e1|| = ||e2|| = ||e3|| = 1. Así, {e1, e2, e3} es un conjunto ortonormal. Para un (x,y,z) cualquiera en R3 tenemos
 (x,y,z) = xe_1 + ye_2 + ze_3, \,
entonces, {e1,e2,e3} reconstruye R3 y por lo tanto tiene que ser una base. También puede demostrarse que la base estándar rotada alrededor de un eje que pasa por el origen o reflejada en un plano que pasa por el origen forma también una base ortonormal de R3.
  • El conjunto {fn : nZ} con fn(x) = exp(2πinx) forma una base ortogonal del espacio complejo L2([0,1]). Este es un resultado fundamental para el estudio de series de Fourier.
  • El conjunto {eb : bB} con eb(c) = 1 si b=c y 0 en caso contrario forma una base ortonormal de l2(B).
  • Eigenfunciones de un Eigenproblema de Sturm-Liouville.

Construcción

Al igual que con una base ortogonal, se puede crear un arreglo de bases ortonormales para formar una matriz ortonormal.

Para poder construir una base ortonormal de una base cualquiera es necesario primero ortogonalizar a la base para luego ortonormalizarla. Existe el método de ortonormalización de Gram-Schmidt con el cual es posible realizar lo anterior.

Obtenido de "Base ortonormal"

Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Base (álgebra) — Saltar a navegación, búsqueda En álgebra lineal, se dice que un conjunto ordenado B es base de un espacio vectorial V si se cumplen las siguientes condiciones: Todos los elementos de la base B deben ser linealmente independientes. Todos los… …   Wikipedia Español

  • Ortonormal — Un conjunto de vectores es ortonormal si es a la vez un conjunto ortogonal y la norma de cada uno de sus vectores es igual a 1. Esta definición sólo tiene sentido si los vectores pertencen a un espacio vectorial en el que se ha definido un… …   Wikipedia Español

  • ortonormal — ► adjetivo MATEMÁTICAS Se aplica a un sistema de coordenadas cuyos ejes se cortan en ángulo recto y admiten vectores unitarios de igual longitud. * * * ► adjetivo MATEMÁTICAS Díc. de un sistema de vectores de un espacio vectorial con un producto… …   Enciclopedia Universal

  • Espacio de Hilbert — Saltar a navegación, búsqueda En matemáticas, el concepto de espacio de Hilbert es una generalización del concepto de espacio euclídeo. Esta generalización permite que nociones y técnicas algebraicas y geométricas aplicables a espacios de… …   Wikipedia Español

  • Tensor de curvatura — En geometría diferencial, el tensor de curvatura de Riemann , o simplemente tensor de curvatura o tensor de Riemann, supone una generalización del concepto de curvatura de Gauss, definido para superficies, a variedades de dimensiones arbitrarias …   Wikipedia Español

  • Coordenadas cartesianas — Tres ejemplos de coordinadas asignadas a tres puntos diferntes (verde, rojo y azul), sus proyecciones ortogonales sobre los ejes constituyen sus coordenadas cartesianas. Las coordenadas cartesianas o coordenadas rectanguales son un ejemplo de… …   Wikipedia Español

  • Proyección isométrica — Una proyección isométrica es un método gráfico de representación, más específicamente una axonométrica[1] cilíndrica[2] ortogonal.[3] Constituye una representación visual de un objeto tridimensional en dos dimensiones, en la que los tres ejes… …   Wikipedia Español

  • Desigualdad de Bessel — Saltar a navegación, búsqueda En matemáticas, especialmente en análisis funcional, la desigualdad de bessel es una proposición acerca de los coeficientes de un elemento x en un espacio de Hilbert con respecto a una secuencia ortonormal. Sea H un… …   Wikipedia Español

  • Ortogonalidad (matemáticas) — En matemáticas, el término ortogonalidad (del griego orthos recto y gonía ángulo ) es una generalización de la noción geométrica de perpendicularidad. En el espacio euclídeo convencional el término ortogonal y el término perpendicular son… …   Wikipedia Español

  • Producto tensorial — Saltar a navegación, búsqueda En matemáticas, el producto tensorial, denotado por , se puede aplicar en diversos contextos a vectores, matrices, tensores y espacios vectoriales. En cada caso la significación del símbolo es la misma: la operación… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”