Sistema de ecuaciones lineales

De Wikipedia, la enciclopedia libre Saltar a navegacin , bsqueda Este artculo incluye una lista de referencias , pero sus fuentes no estn claras, ya que no tiene suficientes citas en lnea . Por favor, aydenos a mejorar este artculo introduciendo citas ms precisas. (junio de 2012)

Un sistema lineal en tres variables determina un conjunto de planos . El punto de interseccin es la solucin. En matemticas , un sistema de ecuaciones lineales (o sistema lineal) es un conjunto de ecuaciones lineales que involucran el mismo conjunto de variables de . Por ejemplo,

es un sistema de tres ecuaciones con tres variables x, y, z. Una solucin para un sistema lineal es una asignacin de nmeros a las variables de modo que todas las ecuaciones se satisfacen simultneamente. Una solucin para el sistema anterior se da por

ya que hace que las tres ecuaciones vlidas. [1] En matemticas, la teora de sistemas lineales es la base y una parte fundamental de lgebra lineal , un tema que se utiliza en la mayor parte de la matemtica moderna. Computacional algoritmos para encontrar las soluciones son una parte importante del lgebra lineal

numrica , y juegan un papel importante en la ingeniera , la fsica , la qumica , la informtica y la economa . Un sistema de ecuaciones no lineales a menudo puede ser aproximado por un sistema lineal (vase la linealizacin ), una tcnica de utilidad al realizar un modelo matemtico o simulacin por ordenador de un sistema relativamente complejo. Muy a menudo, los coeficientes de las ecuaciones son reales o nmeros complejos y las soluciones se buscan en el mismo conjunto de nmeros, pero la teora y los algoritmos para aplicar los coeficientes y soluciones en cualquier mbito . Para soluciones en un dominio de integridad como el anillo de los nmeros enteros , o en otras estructuras algebraicas , otras teoras se han desarrollado. Vase, por ejemplo, la programacin lineal entera para soluciones enteras, bases de Grbner para polinomios coeficientes e incgnitas, o tambin la geometra tropical para el lgebra lineal en una estructura ms extico.

Contenido

1 Ejemplo de Primaria 2 Forma general o 2.1 Ecuacin vectorial o 2.2 Matriz ecuacin 3 Solucin conjunto o 3.1 Interpretacin geomtrica o 3.2 Comportamiento general 4 Propiedades o 4.1 Independencia o 4.2 Coherencia o Equivalencia 4,3 5 Resolucin de un sistema lineal o 5.1 Describir la solucin o 5,2 Eliminacin de variables o 5,3 Row reduccin o 5,4 regla de Cramer o 5.5 Matriz de solucin o 5,6 Otros mtodos 6 sistemas homogneos o 6.1 Solucin conjunto o 6.2 Relacin con los sistemas no homogneos 7 Vase tambin 8 Notas 9 Referencias o 9.1 Los libros de texto 10 Enlaces externos

Primaria

El tipo ms simple de sistema lineal consta de dos ecuaciones y dos variables:

Un mtodo para la resolucin de este sistema es como sigue. En primer lugar, resolver la ecuacin superior para en trminos de :

Ahora sustituimos esta expresin para x en la ecuacin abajo:

Esto resulta en una nica ecuacin que implica solamente la variable

. Resolver da

, Y Sustituyendo esto en la ecuacin para rendimientos . Este mtodo se generaliza a los sistemas con variables adicionales (consulte el apartado "eliminacin de variables" ms abajo, o el artculo sobre lgebra elemental ).

Forma general
Un sistema general de m ecuaciones lineales con n incgnitas puede ser escrito como

Aqu sistema, y

son las incgnitas, son los trminos constantes.

son los coeficientes del

A menudo, los coeficientes y las incgnitas son reales o nmeros complejos , pero los nmeros enteros y nmeros racionales tambin se observan, como son polinomios y elementos de un extracto estructura algebraica .

Ecuacin vectorial
Un punto de vista extremadamente til es que cada desconocido es un peso para un vector columna en una combinacin lineal .

Esto permite que todo el lenguaje y la teora de los espacios vectoriales (o ms generalmente, mdulos ) para ser llevado a soportar. Por ejemplo, la coleccin de todas las posibles combinaciones lineales de los vectores en el lado de la izquierda se llama su lapso , y las ecuaciones tienen una solucin slo cuando el vector de la derecha est dentro de ese perodo. Si cada vector dentro de ese lapso tiene exactamente una expresin como una combinacin lineal de los dados de la mano izquierda vectores, entonces cualquier solucin es nica. En cualquier caso, el lapso tiene una base de linealmente independientes vectores que se garantiza exactamente una expresin, y el nmero de vectores de esa base (su dimensin ) no puede ser mayor que m o n, pero puede ser ms pequeo. Esto es importante porque si tenemos m vectores independientes una solucin est garantizada independientemente del lado derecho, y de otra manera no se garantiza.

Matrix ecuacin
La ecuacin vectorial es equivalente a una matriz ecuacin de la forma

donde A es una matriz m n, x es un vector columna con n entradas, y b es un vector columna con entradas m.

El nmero de vectores en una base para la duracin se expresa ahora como el rango de la matriz.

conjunto de soluciones

El conjunto solucin de las ecuaciones x - y = -1 y 3 x + y = 9 es el nico punto (2, 3). Una solucin de un sistema lineal es una asignacin de valores a las variables x 1, x 2, ..., x n de tal manera que cada una de las ecuaciones se satisface. El conjunto de todas las soluciones posibles se llama el conjunto de soluciones . Un sistema lineal puede comportarse de una cualquiera de las tres formas posibles: 1. El sistema tiene infinitas soluciones. 2. El sistema tiene una nica solucin individual. 3. El sistema no tiene solucin.

Interpretacin geomtrica
Para un sistema que implica dos variables (x e y), cada ecuacin lineal determina una lnea en la xy - plano . Debido a que la solucin de un sistema lineal debe satisfacer todas las ecuaciones, el conjunto solucin es la interseccin de estas lneas, y es por lo tanto, ya sea una lnea, un nico punto, o el conjunto vaco . Para tres variables, cada una ecuacin lineal determina un plano en el espacio tridimensional , y el conjunto solucin es la interseccin de esos planos. As, el conjunto solucin puede ser un avin, una lnea, un nico punto, o el conjunto vaco. Para n variables, cada una ecuacin lineal determina un hiperplano en el espacio ndimensional . El conjunto solucin es la interseccin de estos hiperplanos, que puede ser un plano de cualquier dimensin.

Comportamiento general

El conjunto solucin de dos ecuaciones con tres variables es generalmente una lnea. En general, el comportamiento de un sistema lineal se determina por la relacin entre el nmero de ecuaciones y el nmero de incgnitas: 1. Por lo general, un sistema con menos ecuaciones que incgnitas tiene una infinidad de soluciones o soluciones dispersas a veces nicos ( comprimido de deteccin ). Tal sistema se conoce tambin como un sistema indeterminado . 2. Por lo general, un sistema con el mismo nmero de ecuaciones e incgnitas tiene una nica solucin individual. 3. Por lo general, un sistema con ms ecuaciones que incgnitas no tiene solucin. Tal sistema se conoce tambin como un sistema sobredeterminado . En el primer caso, la dimensin de conjunto de la solucin es generalmente igual a n - m, donde n es el nmero de variables y m es el nmero de ecuaciones. Las siguientes imgenes ilustran esta tricotoma en el caso de dos variables:

Una ecuacin

Dos ecuaciones

Tres ecuaciones

El primer sistema tiene infinitas soluciones, es decir, todos los puntos de la lnea azul. El segundo sistema tiene una nica solucin nica, es decir, la interseccin de las dos lneas. El tercer sistema no tiene solucin, ya que las tres lneas comparten ningn punto comn. Tenga en cuenta que las imgenes de arriba muestran slo el caso ms comn. Es posible que un sistema de dos ecuaciones y dos incgnitas que no tiene solucin (si las dos lneas

son paralelas), o para un sistema de tres ecuaciones y dos incgnitas para ser resolubles (si las tres lneas se intersectan en un solo punto). En general, un sistema de ecuaciones lineales puede comportarse de manera diferente a la esperada si las ecuaciones son linealmente dependientes , o si dos o ms de las ecuaciones son inconsistentes .

Propiedades
Independencia
Las ecuaciones de un sistema lineal son independientes si ninguna de las ecuaciones se pueden derivar algebraicamente de los otros. Cuando las ecuaciones son independientes, cada ecuacin contiene nueva informacin acerca de las variables, y la eliminacin de cualquiera de las ecuaciones aumenta el tamao del conjunto de la solucin. Para las ecuaciones lineales, independencia lgica es la misma que la independencia lineal .

El ecuaciones x - 2 y = -1, 3 x + 5 y = 8, 4 y x + 3 y = 7 no son linealmente independientes. Por ejemplo, las ecuaciones

no son independientes - son la misma ecuacin cuando se escala por un factor de dos, y ellos producir grficos idnticos. Este es un ejemplo de equivalencia en un sistema de ecuaciones lineales. Para un ejemplo ms complicado, las ecuaciones

no son independientes, porque la tercera ecuacin es la suma de los otros dos. De hecho, cualquiera de estas ecuaciones se pueden derivar de los otros dos, y cualquiera de las ecuaciones se puede eliminar sin afectar el conjunto solucin. Las grficas de estas ecuaciones son tres lneas que se intersectan en un punto nico.

La consistencia

Las ecuaciones 3 x + 2 y = 6 y 3 x + 2 y = 12 son incompatibles. Un sistema lineal es consistente si tiene una solucin, e inconsistente lo contrario. Cuando el sistema es inconsistente, es posible derivar una contradiccin de las ecuaciones, que siempre puede ser reescrito como la instruccin 0 = 1. Por ejemplo, las ecuaciones

son inconsistentes. De hecho, restando la primera ecuacin de la segunda y multiplicando ambos lados del resultado por 1/6, se obtiene 0 = 1. Las grficas de estas ecuaciones en el plano xy son un par de paralelas lneas. Es posible que las tres ecuaciones lineales que son incompatibles, aunque cualesquiera dos de ellos son consistentes entre s. Por ejemplo, las ecuaciones

son inconsistentes. Adicin de los primeros dos ecuaciones da 3 x + 2 y = 2, que se puede restar de la tercera ecuacin para dar 0 = 1. Tenga en cuenta que dos de estas ecuaciones tienen una solucin comn. El mismo fenmeno puede ocurrir por cualquier nmero de ecuaciones.

En general, las inconsistencias ocurrir si los lados izquierdos de las ecuaciones en un sistema son linealmente dependientes, y los trminos constantes no satisfacen la relacin de dependencia. Un sistema de ecuaciones cuyos lados izquierdo son linealmente independientes es siempre consistente. Dicho de otro modo, de acuerdo con el teorema de Rouch-Capelli , cualquier sistema de ecuaciones (sobredeterminado o de otro modo) es incompatible si el rango de la matriz ampliada es mayor que el rango de la matriz de coeficientes . Si, por otro lado, las filas de estas dos matrices son iguales, el sistema debe tener al menos una solucin. La solucin es nica si y slo si el rango es igual al nmero de variables. De lo contrario, la solucin general tiene parmetros libres k donde k es la diferencia entre el nmero de variables y el rango, por lo que en tal caso, hay una infinidad de soluciones.

La equivalencia
Dos sistemas lineales usando el mismo conjunto de variables son equivalentes si cada una de las ecuaciones en el sistema de segundo se pueden derivar algebraicamente a partir de las ecuaciones en el primer sistema, y viceversa. Dos sistemas son equivalentes si bien ambos son incompatibles o cada ecuacin de cualquiera de ellos es una combinacin lineal de las ecuaciones de la otra. De ello se deduce que dos sistemas lineales son equivalentes si y slo si tienen el mismo conjunto solucin.

Resolucin de un sistema lineal

Existen varios algoritmos para resolver un sistema de ecuaciones lineales.

Al describir la solucin
Cuando el conjunto solucin es finita, que se reduce a un solo elemento. En este caso, la nica solucin es descrita por una secuencia de ecuaciones cuyos lados izquierdo mano son los nombres de las incgnitas y los lados de la mano derecha son los valores correspondientes, por ejemplo . Cuando una orden de las incgnitas se ha fijado, por ejemplo, el orden alfabtico la solucin puede ser descrito como un vector de valores, como para el ejemplo anterior.

Puede ser difcil para describir un conjunto con infinitas soluciones. Tpicamente, algunas de las variables se designan como libres (o independiente, o como parmetros), lo que significa que se les permite tomar cualquier valor, mientras que las restantes variables son dependientes de los valores de las variables libres. Por ejemplo, consideremos el siguiente sistema:

El conjunto de soluciones para este sistema puede ser descrito por las siguientes ecuaciones:

Aqu z es la variable libre, mientras que x e y son dependientes de z. Cualquier punto en el conjunto de la solucin se puede conseguir por primera escoger un valor para z, y luego calcular los valores correspondientes para x e y. Cada variable libre da el espacio solucin de un solo grado de libertad , el nmero de los cuales es igual a la dimensin del conjunto solucin. Por ejemplo, el conjunto solucin de la ecuacin anterior es una lnea, desde un punto en el conjunto de la solucin puede ser elegido por especificar el valor del parmetro z. Una solucin infinito de orden superior puede describir un plano, o ms conjunto dimensional. Las diferentes opciones para las variables libres pueden conducir a diferentes descripciones del conjunto misma solucin. Por ejemplo, la solucin a las ecuaciones de arriba alternativamente puede ser descrito como sigue:

Aqu x es la variable libre, e Y y Z son dependientes.

Eliminacin de variables
El mtodo ms sencillo para resolver un sistema de ecuaciones lineales es eliminar repetidamente variables. Este mtodo puede ser descrito como sigue: 1. En la primera ecuacin, resolver para una de las variables en trminos de los otros. 2. Conecte esta expresin en las ecuaciones restantes. Esto produce un sistema de ecuaciones con una ecuacin y una incgnita menos menos. 3. Continuar hasta que se haya reducido el sistema a una ecuacin lineal simple. 4. Resolver esta ecuacin, y luego de vuelta sustituto, hasta que toda la solucin se encuentra. Por ejemplo, consideremos el siguiente sistema:

Resolviendo la primera ecuacin para x se obtiene x = 5 + 2 z - 3 y, y conectar esta en la ecuacin segundo y tercero

Resolviendo la primera de estas ecuaciones para los rendimientos y y = 2 + 3 z, y conectar esta en la ecuacin z = 2 segundos. Ahora tenemos:

Sustituyendo z = 2 en la segunda ecuacin da y = 8, y sustituyendo z = 2 e y = 8 en la ecuacin x = -15 primera. Por lo tanto, el conjunto solucin es el nico punto (x, y, z) = (15, 8, 2).

Row
Artculo principal: eliminacin de Gauss En la reduccin de la fila, el sistema lineal se representa como una matriz aumentada :

Esta matriz es luego modificado mediante operaciones elementales de fila hasta llegar a la forma escalonada reducida . Hay tres tipos de operaciones elementales de rengln: Tipo 1: Intercambia las posiciones de dos filas. Tipo 2: Multiplicar un rengln por una diferente de cero escalar . Tipo 3: Agregar una fila a un mltiplo escalar del otro. Debido a que estas operaciones son reversibles, la matriz aumentada produce siempre representa un sistema lineal que es equivalente a la original. Hay varios algoritmos especficos para remar-reducir una matriz aumentada, la ms simple de las cuales son la eliminacin de Gauss y de Gauss-Jordan . El clculo siguiente se muestra eliminacin Gauss-Jordan aplicada a la matriz anterior:

La ltima matriz est en forma escalonada reducida por filas, y representa el sistema x = 15, y = 8, z = 2. Una comparacin con el ejemplo de la seccin anterior sobre la eliminacin algebraica de variables muestra que estos dos mtodos son en realidad el mismo, la diferencia est en cmo los clculos estn escritas.

Cramer
Artculo principal: regla de Cramer Regla de Cramer es una frmula explcita para la solucin de un sistema de ecuaciones lineales, a cada variable dada por un cociente de dos determinantes . Por ejemplo, la solucin del sistema

est dada por

Para cada variable, el denominador es el determinante de la matriz de coeficientes, mientras que el numerador es el determinante de una matriz en la que se ha sustituido por una columna el vector de trminos constantes. Aunque la regla de Cramer es importante tericamente, tiene poco valor prctico para matrices grandes, ya que el clculo de los factores determinantes de grandes es algo engorroso. (De hecho, los determinantes ms grandes se calcula fcilmente mediante la reduccin de fila.) Adems, la regla de Cramer tiene propiedades numricas muy pobres,

por lo que es inadecuado para resolver incluso los pequeos sistemas de forma fiable, a menos que las operaciones se realizan en aritmtica racional con precisin ilimitada.

Matrix
Si el sistema de ecuacin se expresa en la forma de matriz , El conjunto solucin entera puede tambin ser expresada en forma de matriz. Si la matriz A es cuadrada (tiene m filas y n = m columnas) y tiene rango completo (en todas las m filas son independientes), entonces el sistema tiene una nica solucin propuesta por

donde es la inversa de A. Ms en general, independientemente de si m = n o no, y sin importar el rango de A, todas las soluciones (si las hay) se dan con el pseudoinversa MoorePenrose de A, denotado , Como sigue:

donde es un vector de parmetros libres que se extiende sobre toda posible n 1 vectores. Una condicin necesaria y suficiente para que cualquier solucin (s) de existir es que la solucin potencial obtenidos utilizando satisfacer - Es decir, que Si esta condicin no se cumple, el sistema de ecuaciones es inconsistente y no tiene solucin. Si la condicin se cumple, el sistema es consistente y existe al menos una solucin. Por ejemplo, en el caso antes mencionado en el que A es cuadrada y de rango completo, simplemente es igual a y la solucin general ecuacin se simplifica a como se ha indicado anteriormente, donde ha abandonado por completo fuera de la solucin, dejando slo una nica solucin. En otros casos, sin embargo, restos y por lo tanto, una infinidad de valores posibles del vector de parmetros libres dar una infinidad de soluciones de la ecuacin.

Otros mtodos
Mientras que los sistemas de tres o cuatro ecuaciones pueden resolverse fcilmente con la mano, ordenadores a menudo se utilizan para sistemas ms grandes. El algoritmo estndar para resolver un sistema de ecuaciones lineales se basa en la eliminacin gaussiana con algunas modificaciones. En primer lugar, es esencial para evitar la divisin por nmeros pequeos, que pueden conducir a resultados inexactos. Esto se puede hacer por el reordenamiento de las ecuaciones si es necesario, un proceso conocido como pivotante . En segundo lugar, el algoritmo no es exactamente lo que la eliminacin de Gauss, pero se calcula la descomposicin LU de la matriz A. Esto es sobre todo una herramienta de organizacin, pero es mucho ms rpido si uno tiene que resolver varios sistemas con la misma matriz A, pero diferentes vectores b.

Si la matriz A tiene una estructura especial, esto puede ser explotado para obtener ms rpido o ms algoritmos ms precisos. Por ejemplo, los sistemas con una simtrica definida positiva matriz se puede resolver el doble de rpido con la descomposicin de Cholesky . recursin de Levinson es un mtodo rpido para matrices de Toeplitz . Los mtodos especiales existen tambin para matrices con muchos elementos cero (los llamados matrices dispersas ), que aparecen a menudo en las aplicaciones. Un enfoque completamente diferente se toma a menudo para sistemas muy grandes, que de otra manera tomara demasiado tiempo o la memoria. La idea es comenzar con una aproximacin inicial para la solucin (que no tiene que ser exacta en todos), y para cambiar esta aproximacin en varios pasos para acercarla a la verdadera solucin. Una vez que la aproximacin es suficientemente precisa, este se toma para ser la solucin para el sistema. Esto conduce a la clase de los mtodos iterativos .

sistemas homogneos
Ver tambin: ecuacin diferencial homognea Un sistema de ecuaciones lineales es homogneo si todos los trminos constantes son cero:

Un sistema homogneo es equivalente a una ecuacin de la matriz de la forma

donde A es una matriz m n, x es un vector columna con n entradas, y 0 es el vector cero con entradas m.

conjunto de soluciones
Cada sistema homogneo tiene al menos una solucin, conocida como la solucin de cero (o solucin trivial), que se obtiene mediante la asignacin de un valor de cero para cada una de las variables. Si el sistema tiene una matriz no singular (det (A) 0), entonces es tambin la nica solucin. Si el sistema tiene una matriz singular , entonces hay un conjunto de soluciones con un nmero infinito de soluciones. Este conjunto solucin tiene las siguientes propiedades adicionales: 1. Si u y v son dos vectores que representan soluciones a un sistema homogneo, entonces el vector suma u + v es tambin una solucin para el sistema.

2. Si u es un vector que representa una solucin a un sistema homogneo, y r es cualquier escalar , entonces r u es tambin una solucin para el sistema. Estas son exactamente las propiedades requeridas para la solucin va a ser un subespacio lineal de R n. En particular, el conjunto de soluciones para un sistema homogneo es el mismo que el espacio nulo de la matriz A correspondiente.

Relacin con los sistemas no homogneos

Existe una relacin estrecha entre las soluciones a un sistema lineal y las soluciones del sistema homogneo correspondiente:

Especficamente, si p es una solucin especfica para el sistema lineal A x = b, entonces el conjunto de la solucin entera se puede describir como

Geomtricamente, esto dice que el conjunto solucin de Ax = b es una traduccin del conjunto solucin de Ax = 0. En concreto, el plano para el sistema primero se puede conseguir mediante la traduccin del subespacio lineal para el sistema homogneo por el vector p. Este razonamiento se aplica solamente si el sistema A x = b tiene al menos una solucin. Esto ocurre si y slo si el vector b se encuentra en la imagen de la transformacin lineal A.
Rotacin en el palno

ROTACIN DE PLANOS
El mtodo de Rotacin, tambin denominado Giro, consiste en girar el objeto en estudio (punto, recta, plano, etc) un determinado ngulo () alrededor de un eje de rotacin, el cual es una recta vertical (v), de punta (p).

En la fig.1a, se representa la rotacin de un punto (A), hasta la posicin (A1), alrededor de un eje vertical (v), y en la fig.1b, alrededor de un eje de punta (p).

fig.1.\ Rotacin de un punto (A) hasta la posicin (A1)

Puede observarse, en la fig.1a, que cuando los puntos rotan a travs de un eje vertical (v) recorren arcos de circunferencia paralelos al plano horizontal de proyeccin, mientras que si la rotacin se produce a travs de un eje de punta (p) (fig.1b), los arcos de circunferencia recorridos son paralelos al plano vertical de proyeccin. 2222222222222222

Plano de la rotacin
De Wikipedia, la enciclopedia libre Saltar a navegacin , bsqueda En geometra , un plano de rotacin es un objeto abstracto que se utiliza para describir o visualizar las rotaciones en el espacio. En tres dimensiones que es una alternativa al eje de rotacin , pero a diferencia del eje de rotacin que puede ser utilizado en otras dimensiones, tales como dos , cuatro o ms dimensiones.

Matemticamente tales planos puede ser descrito en un nmero de maneras. Ellos pueden ser descritos en trminos de aviones y los ngulos de rotacin. Se pueden asociar con bivectors de lgebra geomtrica . Estn relacionados con los valores y vectores propios de una matriz de rotacin . Y en particular dimensiones estn relacionadas con otras propiedades algebraicas y geomtricas, que luego pueden ser generalizadas a otras dimensiones. Planos de rotacin no se utilizan mucho en dos y tres dimensiones, como en dos dimensiones slo hay un plano de modo identificar el plano de rotacin es trivial y hecho rara vez, mientras que en tres dimensiones del eje de rotacin tiene el mismo propsito y es el ms enfoque establecido. El uso principal de ellos es en la descripcin de las rotaciones ms complejas en las dimensiones superiores , en los que se pueden utilizar para romper las rotaciones en partes ms simples. Esto se puede hacer usando lgebra geomtrica , con los planos de las rotaciones asociadas con bivectors simples en el lgebra. [1]

Contenido

1 Definiciones o 1.1 Plano o 1.2 Plano de rotacin 2 Dos dimensiones 3 Tres dimensiones 4 Cuatro dimensiones o 4,1 rotaciones simples o 4,2 rotaciones dobles o 4,3 rotaciones Isoclinic 5 dimensiones ms altas 6 unidades de Matemticas o 6.1 Reflexiones o 6,2 Bivectors o 6.3 Valores propios y eigenplanes 7 Vase tambin 8 Notas 9 Referencias

Definiciones
Plane
Para este artculo todos los planos son planos a travs del origen , es decir que contienen el vector cero . Tal un plano en el espacio n-dimensional es un 2-dimensional subespacio lineal del espacio. Es completamente especificado por cualquiera de los dos vectores distintos de cero y no paralelas que se encuentran en el plano, que es por cualquiera de los dos vectores A y B, tal que

donde es el producto exterior de lgebra exterior o lgebra geomtrica (en tres dimensiones el producto vectorial se puede utilizar). Ms precisamente la cantidad de un b es la bivector asociada con el plano specifed por A y B, y tiene una magnitud | a | | b | sen , donde es el ngulo entre los vectores, por lo tanto, el requisito de que los vectores no ser cero y no paralelas. [2] Si el bivector A B se escribe B, entonces la condicin de que un punto se encuentra en el plano asociado a B es simplemente
[3]

Esto es cierto en todas las dimensiones, y se puede tomar como la definicin en el avin. En particular, a partir de las propiedades del producto exterior se satisface por tanto a como b, y as por cualquier vector de la forma

con nmeros y reales. Como y rango sobre todos los nmeros reales c rangos de ms de todo el plano, por lo que esta puede ser tomada como otra definicin del plano.

Plano de la rotacin
Un plano de rotacin para un determinado rotacin es un plano que se asignan a s misma por la rotacin. El avin no es fija, pero todos los vectores en el plano se asignan a otros vectores en el mismo plano por la rotacin. Esta transformacin del plano a s misma es siempre una rotacin alrededor del origen, a travs de un ngulo que es el ngulo de rotacin en el plano. Cada rotacin a excepcin de la identidad de rotacin (con matriz de la matriz de identidad ) tiene al menos un plano de rotacin, y hasta

planos de rotacin, donde n es la dimensin. El nmero mximo de aviones hasta ocho dimensiones se muestra en esta tabla: Dimensin 2 3 1 4 2 5 2 6 3 7 3 8 4

Nmero de planos 1

Cuando una rotacin tiene mltiples planos de rotacin son siempre ortogonales entre s, con slo el origen en comn. Esta es una condicin ms fuerte que decir los planos estn en ngulo recto , sino que en vez significa que los planos no tienen vectores distintos de cero

en comn, y que cada vector en un plano es ortogonal a cada vector en el otro plano. Esto slo puede ocurrir en cuatro o ms dimensiones. En dos dimensiones, slo hay un plano, mientras que en tres dimensiones todos los aviones tienen al menos un vector distinto de cero en comn, a lo largo de su lnea de interseccin . [4] En ms de tres dimensiones planos de rotacin no son siempre nicos. Por ejemplo el negativo de la matriz de identidad en cuatro dimensiones (la inversin de centro ),

describe una rotacin en cuatro dimensiones en la que cada plano que pasa por el origen es un plano de rotacin a travs de un ngulo de , por lo que cualquier par de planos ortogonales genera la rotacin. Sin embargo, para una rotacin general es al menos tericamente posible identificar un conjunto nico de planos ortogonales, en cada uno de los puntos que se hacen girar a travs de un ngulo, de modo que el conjunto de planos y ngulos de caracterizar completamente la rotacin. [5]

Dos dimensiones
En el espacio bidimensional slo hay un plano de rotacin, el plano del espacio en s. En un sistema de coordenadas cartesianas es el plano cartesiano, en nmeros complejos es el plano complejo . Cualquier rotacin es por lo tanto de todo el plano, es decir, del espacio, dejando slo el origen fijo. Se especifica completamente por el ngulo de rotacin firmado, en el intervalo, por ejemplo - a . As, si el ngulo es la rotacin en el plano complejo es dada por la frmula de Euler :

mientras que la rotacin en un plano cartesiano est dada por la 2 2 matriz de rotacin :

[6]

Tres dimensiones

Una rotacin en tres dimensiones, con un eje de rotacin a lo largo del eje z y un plano de rotacin en el plano xy En el espacio tridimensional , hay un nmero infinito de planos de rotacin, slo uno de los cuales est implicado en ninguna rotacin dada. Eso es de una rotacin general hay precisamente un plano que est asociado con ella o que la rotacin tiene lugar pulg La nica excepcin es trivial la rotacin, correspondiente a la matriz de identidad, en el que no tiene lugar la rotacin. En cualquier rotacin en tres dimensiones, siempre hay un eje fijo, el eje de rotacin. La rotacin puede describe dando este eje, con el ngulo a travs del cual la rotacin gira alrededor de ella, lo que es el ngulo de eje de representacin de una rotacin. El plano de rotacin es el plano ortogonal a dicho eje, de modo que el eje es una normal de la superficie del avin. La rotacin gira entonces este plano a travs del mismo ngulo que gira alrededor del eje, que es todo en el plano gira en el mismo ngulo alrededor del origen. Un ejemplo se muestra en el diagrama, donde la rotacin tiene lugar alrededor del eje z. El plano de rotacin es el plano xy, as que todo en ese plano se mantiene en el plano de la rotacin. Esto puede ser descrito por una matriz como la siguiente, con la rotacin de ser a travs de un ngulo (alrededor del eje o en el plano):

La tierra que muestra su eje y el plano de rotacin, tanto inclinada con respecto al plano perpendicular y de rbita de la Tierra

Otro ejemplo es la rotacin de la Tierra . El eje de rotacin es la lnea que une el Polo Norte y el Polo Sur y el plano de rotacin es el plano que pasa por el ecuador entre el norte y el sur de hemisferios. Otros ejemplos incluyen dispositivos mecnicos, como un giroscopio o volante que almacenan energa de rotacin de la masa por lo general a lo largo del plano de rotacin. En cualquier rotacin tridimensional al plano de rotacin se define nicamente. Junto con el ngulo de rotacin se describe completamente la rotacin. O en un objeto que gira continuamente las propiedades de rotacin, tales como la velocidad de rotacin puede ser descrito en trminos del plano de rotacin. Es perpendicular a, y por lo tanto se define por, y define, un eje de rotacin, de modo que cualquier descripcin de una rotacin en trminos de un plano de rotacin puede ser descrito en trminos de un eje de rotacin, y viceversa. Pero a diferencia del eje de rotacin del plano generaliza en otros, en particular superior, dimensiones. [7]

Cuatro dimensiones
Artculo principal: Rotaciones en 4-dimensional espacio euclidiano Una rotacin general en el espacio de cuatro dimensiones slo tiene un punto fijo, el origen. Por lo tanto un eje de rotacin no se puede utilizar en cuatro dimensiones. Pero planos de rotacin se puede utilizar, y cada rotacin no trivial en cuatro dimensiones tiene uno o dos planos de rotacin.

rotaciones simples
Una rotacin con un solo plano de rotacin es una simple rotacin . En una simple rotacin hay un plano fijo, y la rotacin se puede decir que tienen lugar sobre este plano, los puntos de medida que giran no cambian su distancia de este plano. El plano de rotacin es ortogonal a este plano, y la rotacin se puede decir que tienen lugar en este plano. Por ejemplo, la matriz siguiente se corrige el plano xy: puntos en ese plano, y slo en ese plano no se modifican. El plano de rotacin es el zw-plano, los puntos de este plano se hacen girar a travs de un ngulo . Un punto general slo gira en el zw-plano, que es rota alrededor del plano xy, cambiando nicamente su z y w coordenadas.

En dos y tres dimensiones todas las rotaciones son simples, en que slo tienen un plano de rotacin. Slo en cuatro o ms dimensiones hay rotaciones que no son simples rotaciones simples. En particular, en cuatro dimensiones tambin hay rotaciones dobles y isoclinic.

rotaciones dobles
En una rotacin doble hay dos planos de rotacin, no hay planos fijos, y el nico punto fijo es el origen. La rotacin se puede decir que tienen lugar en ambos planos de rotacin, como puntos en ellos se giran dentro de los planos. Estos planos son ortogonales, es decir que no tienen vectores en comn de modo que cada vector en un plano es perpendicular a cada vector en el otro plano. Los dos planos de rotacin abarcan espacio de cuatro dimensiones, de modo que cada punto en el espacio puede ser especificado por dos puntos, uno en cada uno de los planos. Una rotacin doble tiene dos ngulos de rotacin, uno para cada plano de rotacin. La rotacin se especifica dando los dos planos y dos ngulos distintos de cero, y (si cualquiera ngulo es cero la rotacin es simple). Puntos en el plano primero girar a travs de , mientras que los puntos en el plano de la segunda rotacin a travs de . Todos los dems puntos girar a travs de un ngulo entre y , por lo que en un sentido que en conjunto determinan la cantidad de rotacin. Para una doble rotacin general de los planos de rotacin y los ngulos son nicos, y dado un giro general, se puede calcular. Por ejemplo, una rotacin de en el plano xy y en la zw-avin est dada por la matriz

rotaciones Isoclinic

Una proyeccin de un tesseract con una rotacin isoclinic. Un caso especial de la doble rotacin es cuando los ngulos son iguales, es decir, si = 0. Esto se denomina una rotacin isoclinic , y difiere de una rotacin general doble en un nmero de maneras. Por ejemplo en un rotaciones isoclinic todos los puntos que no son cero girar a travs del mismo ngulo, . Lo ms importante de los planos de rotacin no se

identifican nicamente. Hay en cambio un nmero infinito de pares de planos ortogonales que pueden ser tratados como planos de rotacin. Por ejemplo, cualquier punto puede ser tomado, y el plano que gira en conjunto con el plano ortogonal a la misma puede ser utilizado como dos planos de rotacin. [8]

Mayores dimensiones
Como ya se observ el mximo nmero de planos de rotacin en n dimensiones es

por lo que la complejidad aumenta rpidamente con ms de cuatro dimensiones y rotaciones categorizar como arriba se vuelve demasiado complejo para ser prctico, pero algunas observaciones se pueden hacer. Rotaciones simples pueden ser identificados en todas las dimensiones, como las rotaciones con slo un plano de rotacin. Una simple rotacin en n dimensiones se lleva a cabo sobre (que est a una distancia fija de) una (n - 2)-dimensional subespacio ortogonal al plano de rotacin. Una rotacin general no es sencilla, y tiene el nmero mximo de aviones de rotacin como se indica arriba. En el caso general de los ngulos de rotaciones en estos planos son distintos y los planos se definen de manera nica. Si alguno de los ngulos son iguales, entonces los planos no son nicos, como en cuatro dimensiones con una rotacin isoclinic. En incluso n dimensiones (n = 2, 4, 6 ...) hay hasta n / 2 planos de lapso de rotacin del espacio, por lo que una rotacin general giran todos los puntos excepto el origen, que es el nico punto fijo. En n dimensiones impares (n = 3, 5, 7, ...) hay (n - 1) / 2 planos y ngulos de rotacin, la misma que la dimensin incluso ms baja. Estos no abarcan todo el espacio, pero dejando una lnea que no gira - como el eje de rotacin . en tres dimensiones, a excepcin de las rotaciones no se realizan sobre esta lnea, sino en mltiples planos ortogonales a [1]

Propiedades matemticas
Los ejemplos citados fueron elegidos para ser ejemplos sencillos de rotaciones, con planos generalmente paralelos a los ejes de coordenadas en tres y cuatro dimensiones. Pero este no es generalmente el caso: los aviones no estn generalmente paralelos a los ejes, y las matrices no puede simplemente ser escrito. En todas las dimensiones de las rotaciones se describen completamente por los planos de rotacin y sus ngulos asociados, por lo que es til ser capaz de determinar, o al menos encontrar maneras de describir matemticamente.

Reflexiones

Dos reflexiones diferentes en dos dimensiones que generan una rotacin. Cada simple rotacin puede ser generada por dos reflexiones . Los reflejos pueden ser especificados en n-dimensiones, dando un (n - 1)-dimensional subespacio para reflejar en, por lo que una reflexin de dos dimensiones es en una lnea, una reflexin tridimensional est en un plano, y as sucesivamente. Pero esto se vuelve cada vez ms difcil de aplicar en dimensiones ms altas, por lo que es mejor usar vectores en lugar, de la siguiente manera. Una reflexin en n-dimensiones se especifica por un vector perpendicular a la (n - 1)dimensional subespacio. Para generar rotaciones simples reflexiones nicas que fijan el origen se necesitan, por lo que el vector no tiene una posicin, justo direccin. Es tambin no importa la forma en que se enfrenta: que puede ser reemplazado con su negativo sin cambiar el resultado. Del mismo modo vectores unitarios se puede utilizar para simplificar los clculos. Por lo tanto la reflexin en un (n - 1)-dimensional espacio est dada por el vector unitario perpendicular a la misma, m, por lo tanto:

donde el producto es el producto geomtrico de lgebra geomtrica . Si x 'se refleja en otra, distinta, (n - 1)-dimensional espacio, descrito por un vector unitario n perpendicular a la misma, el resultado es

Esta es una simple rotacin en n-dimensiones, a travs de dos veces el ngulo entre los subespacios, que tambin es el ngulo entre la m y n vectores. Se puede comprobar usando lgebra geomtrica que se trata de una rotacin, y que giran todos los vectores como se esperaba. La cantidad mn es un rotor , y nm es su inversa como

As que la rotacin puede ser escrita

donde R = mn es el rotor. El plano de rotacin es el plano que contiene m y n, que debe ser distinto de lo contrario las reflexiones son el mismo y no tiene lugar la rotacin. Ya sea como vector puede ser sustituida por su negativo el ngulo entre ellos siempre puede ser aguda, o en la mayora de / 2. La rotacin es a travs de dos veces el ngulo entre los vectores, hasta o un giro de media-. El sentido de la rotacin es girar hacia m de n: el producto geomtrica no es conmutativa de modo que el producto nm es la rotacin inversa, con sentido de n a m. Por el contrario todas las rotaciones simples se pueden generar de esta manera, con dos reflexiones, por dos vectores unitarios en el plano de rotacin separados por la mitad del ngulo de rotacin deseado. Estos pueden estar compuestos para producir rotaciones ms generales, con un mximo de reflexiones n si la dimensin n es par, n -. 2 si n es impar, por la eleccin de pares de reflexiones dadas por dos vectores en cada plano de rotacin [9] [10 ]

Bivectors
Bivectors son cantidades de lgebra geomtrica , lgebra de Clifford y el lgebra exterior , que se generalice la idea de vectores en dos dimensiones. Como los vectores son las lneas, por lo que son bivectors a los aviones. As, cada plano (en cualquier dimensin) puede estar asociado con un bivector, y cada bivector sencilla se asocia con un plano. Esto hace que sean un buen ajuste para la descripcin de los planos de rotacin. Cada plano de rotacin en una rotacin tiene un bivector simple asociado con l. Esto es paralelo al plano y tiene una magnitud igual al ngulo de rotacin en el plano. Estos bivectors se suman para producir una sola bivector, generalmente no simple, para toda la rotacin. Esto puede generar un rotor a travs de la funcin exponencial , que se puede utilizar para girar un objeto. Bivectors estn relacionados con rotores a travs del mapa exponencial (que se aplica a bivectors genera rotores y rotaciones utilizando la frmula de De Moivre ). En particular dado ninguna B bivector el rotor asociado a l es

Esta es una simple rotacin si la bivector es simple, una rotacin ms general de otra manera. Cuando cuadrado,

le da un rotor que gira a travs de dos veces el ngulo. Si B es simple, entonces ste es la misma rotacin que es generado por dos reflexiones, como el Mn del producto da una rotacin de dos veces el ngulo entre los vectores. Estos pueden ser equiparado,

de donde se deduce que la bivector asociada con el plano de rotacin que contiene m y n que gira m a n es

Este es un bivector simple, asociado con la simple rotacin descrito. Rotaciones ms generales en cuatro o ms dimensiones se asocian con sumas de bivectors simples, una para cada plano de rotacin, calculado como anteriormente. Los ejemplos incluyen las dos rotaciones en cuatro dimensiones dadas anteriormente. La simple rotacin en el zw plano en un ngulo tiene bivector e 34 , un bivector simple. La rotacin doble por y en el plano xy y ZW aviones-tiene bivector e 12 + e 34, la suma de dos bivectors simples e 12 y e 34 que son paralelos a los dos planos de rotacin y tienen magnitudes iguales a los ngulos de rotacin. Dado un rotor el bivector asociado a ella puede ser recuperado por tomar el logaritmo del rotor, que entonces se puede dividir en bivectors simples para determinar los planos de rotacin, aunque en la prctica para todos, pero el ms simple de los casos esto puede no ser prctico. Pero dadas las bivectors simples lgebra geomtrica es una herramienta til para el estudio de los planos de rotacin utilizando el lgebra como el de arriba. [1] [11]

Valores propios y eigenplanes

Los planos de las rotaciones para un giro particular a travs de los valores propios . Dada una matriz de rotacin general en n dimensiones su ecuacin caracterstica tiene uno (en dimensiones impares) o cero (incluso en dimensiones) races reales. Las otras races estn en pares complejos conjugados, tal y

tales pares. Estos corresponden a los planos de rotacin, los eigenplanes de la matriz, que se puede calcular usando tcnicas algebraicas. Adems argumentos de las races complejas son las magnitudes de los bivectors asociadas a los planos de las rotaciones. La forma de la ecuacin caracterstica est relacionada con los planos, por lo que es posible relacionar sus propiedades algebraicas como races repetidas a los bivectors, donde repetidas magnitudes bivector tienen interpretaciones geomtricas particulares. [1] [12]