simetría en matemáticas

De Wikipedia, la enciclopedia libre

Saltar a navegaciónSaltar a buscar
Para otros usos, consulte Simetría (desambiguación) y Bilateral
(desambiguación) .

El sistema de raíces del excepcional grupo de Lie E 8 . Los grupos de mentiras tienen muchas simetrías.

La simetría ocurre no solo en geometría , sino también en otras ramas de las

matemáticas. La simetría es un tipo de invariancia : la propiedad de que un objeto
matemático permanece sin cambios bajo un conjunto
de operaciones o transformaciones . [1]
Dado un objeto estructurado X de cualquier tipo, una simetría es un mapeo del
objeto sobre sí mismo que preserva la estructura. Esto puede ocurrir de muchas
maneras; por ejemplo, si X es un conjunto sin estructura adicional, una simetría es
un mapa biyectivo del conjunto a sí mismo, dando lugar a grupos de
permutación . Si el objeto X es un conjunto de puntos en el plano con su
estructura métrica o cualquier otro espacio métrico , una simetría es
una biyección del conjunto consigo mismo que conserva la distancia entre cada
par de puntos (es decir, una isometría ).
En general, cada tipo de estructura en matemáticas tendrá su propio tipo de
simetría, muchas de las cuales se enumeran en los puntos mencionados
anteriormente.

Contenido

 1simetría en geometría
 2Simetría en cálculo
o 2.1funciones pares e impares
 2.1.1Incluso funciones
 2.1.2funciones impares
 o 2.2integrando
o 2.3Serie
 3Simetría en álgebra lineal
o 3.1Simetría en matrices
 4Simetría en álgebra abstracta
o 4.1Grupos simétricos
o 4.2Polinomios simétricos
 4.2.1Ejemplos
o 4.3Tensores simétricos
o 4.4teoría de galois
o 4.5Automorfismos de objetos algebraicos
 4.5.1Ejemplos
 5Simetría en la teoría de la representación
o 5.1Simetría en mecánica cuántica: bosones y fermiones
 6Simetría en teoría de conjuntos
o 6.1relación simétrica
 7Simetría en espacios métricos
o 7.1Isometrías de un espacio
 8Simetrías de ecuaciones diferenciales
 9Simetría en probabilidad
 10Ver también
 11Referencias
 12Bibliografía

Simetría en geometría [ editar ]
Artículo principal: Simetría (geometría)
Los tipos de simetría considerados en geometría básica incluyen simetría
de reflexión, simetría de rotación, simetría de traslación y simetría de reflexión de
deslizamiento , que se describen con más detalle en el artículo principal Simetría
(geometría) .

Simetría en cálculo [ editar ]
Funciones pares e impares [ editar ]
Artículo principal: funciones pares e impares
Funciones pares [ editar ]
ƒ ( x ) = x 2 es un ejemplo de una función par. [2]

Sea f ( x ) una función de valor real de una variable real, entonces f es par si la

siguiente ecuación se cumple para todo x y -x en el dominio de f :
Hablando geométricamente, la cara del gráfico de una
función par es simétrica con respecto al eje y , lo que
significa que su gráfico permanece sin cambios
después de la reflexión sobre el eje y . Los ejemplos
de funciones pares incluyen | x | , x 2 , x 4 , cos ( x )
y cosh ( x ).
Funciones impares [ editar ]

ƒ ( x ) = x 3 es un ejemplo de una función impar.

Nuevamente, sea f ( x ) una función de valor real de

una variable real, entonces f es impar si la siguiente
ecuación se cumple para todo x y -x en el dominio
de f :
Eso es,
Geométricamente, la gráfica de una función
impar tiene simetría rotacional con respecto
al origen , lo que significa que
su gráfica permanece sin cambios después
de una rotación de 180 grados alrededor del
origen. Ejemplos de funciones impares
son x , x 3 , sin ( x ), sinh ( x ) y erf ( x ).
Integrando [ editar ]
La integral de una función impar de − A a
+ A es cero, siempre que A sea finita y que la
función sea integrable (p. ej., no tenga
asíntotas verticales entre − A y A ). [3]
La integral de una función par de − A a + A es
el doble de la integral de 0 a + A , siempre
que A sea finita y la función sea integrable (p.
ej., no tenga asíntotas verticales entre
− A y A ). [3] Esto también es cierto cuando A es
infinito, pero solo si la integral converge.
Serie [ editar ]
 La serie de Maclaurin de una función par
incluye solo potencias pares.
 La serie de Maclaurin de una función impar
incluye solo potencias impares.
 La serie de Fourier de una función
par periódica incluye solo términos
de coseno .
 La serie de Fourier de una función impar
periódica incluye solo términos de seno .

Simetría en álgebra lineal [ editar ]

Simetría en matrices [ editar ]
En álgebra lineal , una matriz simétrica es
una matriz cuadrada que es igual a
su transpuesta (es decir, es invariante bajo la
transposición de matrices). Formalmente, la
matriz A es simétrica si
Según la definición de igualdad de
matrices, que requiere que las entradas en
todas las posiciones correspondientes sean
iguales, las matrices iguales deben tener
las mismas dimensiones (ya que las
matrices de diferentes tamaños o formas
no pueden ser iguales). En consecuencia,
solo las matrices cuadradas pueden ser
simétricas.
Las entradas de una matriz simétrica son
simétricas con respecto a la diagonal
principal . Entonces, si las entradas se
escriben como A = ( a ij ), entonces a ij =
a ji , para todos los índices i y j .
Por ejemplo, la siguiente matriz de 3×3 es
simétrica:
Cada matriz diagonal cuadrada es
simétrica, ya que todas las entradas
fuera de la diagonal son cero. De
manera similar, cada elemento diagonal
de una matriz simétrica oblicua debe
ser cero, ya que cada uno es su propio
negativo.
En álgebra lineal, una matriz
simétrica real representa un operador
autoadjunto sobre un espacio de
producto interno real . El objeto
correspondiente para un espacio de
producto interno complejo es una matriz
hermitiana con entradas de valor
complejo, que es igual a su transpuesta
conjugada . Por lo tanto, en álgebra
lineal sobre los números complejos, a
menudo se supone que una matriz
simétrica se refiere a una que tiene
entradas con valores reales. Las
matrices simétricas aparecen
naturalmente en una variedad de
aplicaciones, y el software típico de
álgebra lineal numérica hace
adaptaciones especiales para ellas.

Simetría en álgebra
abstracta [ editar ]
Grupos simétricos [ editar ]
Artículo principal: grupo simétrico
El grupo simétrico S n (sobre
un conjunto finito de n símbolos) es
el grupo cuyos elementos son todas
las permutaciones de los n símbolos, y
cuya operación de grupo es
la composición de tales permutaciones,
que se tratan como funciones
biyectivas del conjunto de símbolos a sí
mismo. [4] Como hay n ! ( n factorial )
posibles permutaciones de un conjunto
de n símbolos, se sigue que
el orden (es decir, el número de
elementos) del grupo
simétrico Sn es n !.
Polinomios simétricos [ editar ]
Artículo principal: polinomio simétrico
Un polinomio simétrico es
un polinomio P ( X 1 , X 2 , ..., X n )
en n variables, tal que si se intercambia
alguna de las variables se obtiene el
mismo polinomio. Formalmente, P es
un polinomio simétrico si para
cualquier permutación σ de los
subíndices 1, 2, ..., n , se
tiene P ( X σ(1) , X σ(2) , ..., X σ( n ) )
=  PAGS ( X 1 ,X2 ,... , Xn ) .
Los polinomios simétricos surgen
naturalmente en el estudio de la
relación entre las raíces de un
polinomio en una variable y sus
coeficientes, ya que los coeficientes
pueden estar dados por expresiones
polinómicas en las raíces, y todas las
raíces juegan un papel similar en este
escenario. Desde este punto de vista,
los polinomios simétricos
elementales son los polinomios
simétricos más
fundamentales. Un teorema establece
que cualquier polinomio simétrico se
puede expresar en términos de
polinomios simétricos elementales, lo
que implica que cada expresión
polinomial simétrica en las raíces de
un polinomio mónico se puede dar
alternativamente como una expresión
polinomial en los coeficientes del
polinomio.
Ejemplos [ editar ]
En dos variables X 1 y X 2 , una tiene
polinomios simétricos como:
y en tres variables X 1 , X 2 y X 3 , se
tiene como polinomio simétrico:
Tensores simétricos [ editar ]
Artículo principal: tensor simétrico
En matemáticas , un tensor
simétrico es un tensor que es
invariante bajo una permutación de sus
argumentos vectoriales:
para cada permutación σ de los
símbolos
{1,2,..., r }. Alternativamente, un
tensor simétrico de orden r representado en
coordenadas como una cantidad
con índices r satisface
El espacio de tensores
simétricos de rango r sobre
un espacio vectorial de
dimensión finita es naturalmente
isomorfo al dual del espacio
de polinomios homogéneos de
grado r sobre V . Sobre campos 
de característica cero ,
el espacio vectorial
graduado de todos los tensores
simétricos se puede identificar
naturalmente con el álgebra
simétrica en V. Un concepto
relacionado es el de tensor
antisimétrico o forma
alterna . Los tensores simétricos
ocurren ampliamente
en ingeniería , física ymatemátic
as _
Teoría de Galois [ editar ]
Artículo principal: teoría de
Galois
Dado un polinomio, puede ser
que algunas de las raíces estén
conectadas por
varias ecuaciones
algebraicas . Por ejemplo,
puede ser que para dos de las
raíces, digamos A y B , que A 2 +
5 B 3 = 7 . La idea central de la
teoría de Galois es considerar
aquellas permutaciones (o
reordenamientos) de las raíces
que tienen la propiedad de
que cualquier ecuación
algebraica satisfecha por las
raíces sigue satisfecha después
de haber permutado las
raíces. Una condición importante
es que nos restringimos a
ecuaciones algebraicas cuyos
coeficientes son números
racionales. Así, la teoría de
Galois estudia las simetrías
inherentes a las ecuaciones
algebraicas.
Automorfismos de
objetos
algebraicos [ editar ]
Artículo principal: Automorfismo
En álgebra abstracta ,
un automorfismo es
un isomorfismo de un objeto
matemático a sí mismo. Es, en
cierto sentido, una simetría del
objeto y una forma de mapear el
objeto a sí mismo mientras se
preserva toda su estructura. El
conjunto de todos los
automorfismos de un objeto
forma un grupo , llamado grupo
de automorfismos . Es, en
términos generales, el grupo de
simetría del objeto.
Ejemplos [ editar ]
 En teoría de conjuntos ,
una permutación arbitraria d
e los elementos de un
conjunto X es un
automorfismo. El grupo de
automorfismos de X también
se llama grupo
simétrico en X .
 En aritmética elemental , el
conjunto de los números
enteros , Z , considerado
como un grupo bajo suma,
tiene un único automorfismo
no trivial: la negación. Sin
embargo, considerado como
un anillo , solo tiene el
automorfismo trivial. En
términos generales, la
negación es un
automorfismo de
cualquier grupo abeliano ,
pero no de un anillo o
campo.
 Un automorfismo de grupo
es un isomorfismo de grupo
de un grupo a sí
mismo. Informalmente, es
una permutación de los
elementos del grupo de
modo que la estructura
permanece sin
cambios. Para todo
grupo G existe un
homomorfismo de grupo
natural G → Aut( G )
cuya imagen es el grupo
Inn( G ) de automorfismos
internos y cuyo núcleo es
el centro de G . Por lo tanto,
si G tiene un centro trivial ,
puede estar incrustado en su
propio grupo de
automorfismos. [5]
 En álgebra lineal , un
endomorfismo de
un espacio vectorial V es
 un operador lineal V → V. Un
automorfismo es un
operador lineal invertible
en V . Cuando el espacio
vectorial es de dimensión
finita, el grupo de
automorfismos de V es el
mismo que el grupo lineal
general , GL( V ).
 Un automorfismo de campo
es un homomorfismo de
anillo biyectivo de
un campo a sí mismo. En los
casos de los números
racionales ( Q ) y
los números reales ( R ) no
existen automorfismos de
campo no triviales. Algunos
subcampos de R tienen
automorfismos de campo no
triviales que, sin embargo,
no se extienden a
todo R (porque no pueden
preservar la propiedad de un
número que tiene una raíz
cuadrada en R ). En el caso
de los números
complejos , C , existe un
automorfismo no trivial único
que convierte
a R en R :conjugación
compleja , pero hay
infinitamente
( incontablemente ) muchos
automorfismos "salvajes"
(asumiendo el axioma de
elección ). [6] Los
automorfismos de campo
son importantes para la
teoría de las extensiones de
campo , en particular
las extensiones de
Galois . En el caso de una
extensión de Galois L / K ,
el subgrupo de todos los
automorfismos de L que
fijan K puntualmente se
 denomina grupo de
Galois de la extensión.

Simetría en la teoría
de la
representación [ editar ]
Simetría en mecánica
cuántica: bosones y
fermiones [ editar ]
En la mecánica cuántica, los
bosones tienen representantes
que son simétricos bajo
operadores de permutación y los
fermiones tienen representantes
antisimétricos.
Esto implica el principio de
exclusión de Pauli para
fermiones. De hecho, el principio
de exclusión de Pauli con una
función de onda de muchas
partículas de un solo valor es
equivalente a requerir que la
función de onda sea
antisimétrica. Un estado
antisimétrico de dos partículas
se representa como una suma
de estados en los que una
partícula está en estadoy el otro
en estado:
y antisimetría bajo
intercambio significa
que A ( x , y ) =
− A ( y , x ) . Esto implica
que A ( x , x ) = 0 , que es la
exclusión de Pauli. Es cierto
en cualquier base, ya que los
cambios unitarios de base
mantienen antisimétricas a
las matrices antisimétricas,
aunque estrictamente
hablando, la
cantidad A ( x , y ) no es una
 matriz sino un tensor
antisimétrico de rango dos .
Por el contrario, si las
cantidades
diagonales A ( x , x ) son
cero en todas las bases ,
entonces el componente de
la función de onda:
es necesariamente
antisimétrica. Para
probarlo, considere el
elemento de la matriz:
Esto es cero, porque
las dos partículas
tienen cero
probabilidad de estar
ambas en el estado
de
superposición.. Pero
esto es igual a
El primer y último
término del lado
derecho son
elementos
diagonales y son
cero, y la suma
total es igual a
cero. Entonces
los elementos de
la matriz de
función de onda
obedecen:
.
o

Simetrí
a en la
teoría
de
conjun
tos [ edit
ar ]
Relació
n
simétric
a [ editar ]
Artículo
principal: r
elación
simétrica
Llamamos
a una
relación
simétrica si
cada vez
que la
relación
pasa de A
a B,
también
pasa de B
a A. Tenga
en cuenta
que la
simetría no
es
exactamen
te lo
contrario
de
la antisime
tría .

Simetrí
a en
espacio
s
métric
os [ editar 
]
Isometrí
as de un
espacio 
[ editar ]
Artículo
principal: I
sometría
Una isome
tría es un
mapa que
preserva
la distancia 
entre espa
cios
métricos . 
Dado un
espacio
métrico, o
un
conjunto y
un
esquema
para
asignar
distancias
entre los
elementos
del
conjunto,
una
isometría
es una
transforma
ción que
mapea
elementos
a otro
espacio
métrico tal
que la
distancia
entre los
elementos
en el
nuevo
espacio
métrico es
igual a la
distancia
entre el
elementos
en el
espacio
métrico
original. En
un espacio
bidimensio
nal o
tridimensio
nal, dos
figuras
geométrica
s
son congru
entes si
están
relacionad
as por una
isometría:
relacionad
as por
un  movimi
ento
rígido o
por
una  comp
osición de
un
movimient
o rígido y
una  reflexi
ón . Hasta
una
relación
por un
movimient
o rígido,
son
iguales si
están
relacionad
os por
unisometrí
a directa .
Las
isometrías
se han
utilizado
para
unificar la
definición
funcional
de simetría
en
geometría
y para
funciones,
distribucio
nes de
probabilida
d,
matrices,
cadenas,
gráficos,
etc. [7]

Simetrí
as de
ecuacio
nes
diferen
ciales [ 
editar ]
Una
simetría de
una ecuaci
ón
diferencial 
es una
transforma
ción que
deja
invariante
la
ecuación
diferencial. 
El
conocimie
nto de
tales
simetrías
puede
ayudar a
resolver la
ecuación
diferencial.
Una simetr
ía lineal de
un sistema
de
ecuacione
s
diferencial
es es una
simetría
continua
del
sistema de
ecuacione
s
diferencial
es. El
conocimie
nto de la
simetría de
una línea
se puede
utilizar
para
simplificar
una
ecuación
diferencial
ordinaria
mediante l
a
reducción
de
orden . [8]
Para ecua
ciones
diferencial
es
ordinarias ,
el
conocimie
nto de un
conjunto
apropiado
de
simetrías
de Lie
permite
calcular
explícitam
ente un
conjunto
de
primeras
integrales,
lo que
produce
una
solución
completa
sin
integración
.
Las
simetrías
se pueden
encontrar
resolviend
o un
conjunto
relacionad
o de
ecuacione
s
diferencial
es
ordinarias. 
[8]
 Resolver
estas
ecuacione
s suele ser
mucho
más
sencillo
que
resolver
las
ecuacione
s
diferencial
es
originales.

Simetrí
a en
probab
ilidad [ 
editar ]
En el caso
de un
número
finito de
posibles
resultados,
la simetría
con
respecto a
las
permutacio
nes
(reetiqueta
do) implica
una distrib
ución
uniforme
discreta .
En el caso
de un
intervalo
real de
posibles
resultados,
la simetría
con
respecto al
intercambi
o de
subinterval
os de igual
longitud
correspond
ea
una distrib
ución
uniforme
continua .
En otros
casos,
como
"tomar un
número
entero
aleatorio"
o "tomar
un número
real
aleatorio",
no hay
distribucio
nes de
probabilida
d en
absoluto
simétricas
con
respecto a
los
reetiquetad
os o al
intercambi
o de
subinterval
os
igualmente
largos. Otr
as
simetrías
razonables
no señalan
una
distribució
n en
particular,
o en otras
palabras,
no hay una
distribució
n de
probabilida
d única
que
proporcion
e la
máxima
simetría.
Hay un
tipo
de isometrí
a en una
dimensión 
que puede
dejar la
distribució
n de
probabilida
d sin
cambios,
que es la
reflexión
en un
punto, por
ejemplo
cero.
A possible
symmetry
for
randomnes
s with
positive
outcomes
is that the
former
applies for
the
logarithm,
i.e., the
outcome
and its
reciprocal
have the
same
distribution
. However
this
symmetry
does not
single out
any
particular
distribution
uniquely.
For a
"random
point" in a
plane or in
space, one
can
choose an
origin, and
consider a
probability
distribution
with
circular or
spherical
symmetry,
respectivel
y.

See
also[edit]
 Use of
symme
try in
integrat
ion
 Invaria
nce
(mathe
matics)
Refere
nces[edit
]

1. ^ W
eisst
ein,
Eric
W. "I
nvari
ant". 
math
worl
d.wo
lfram
.com
.
Retri
eved 
2019
-12-
06.
2. ^ "M
aths
in a
minu
te:
Sym
metr
y". pl
us.m
aths.
org.
2016
-06-
23.
Retri
eved 
2019
-12-
06.
3. ^ Ju
mp
up
to:a b 
Weis
stein
, Eric
W. "
Odd
Func
tion". 
math
worl
d.wo
lfram
.com
 .
Retri
eved 
2019
-12-
06.
4. ^ Ja
cobs
on
(200
9), p.
31.
5. ^ PJ
Pahl,
R
Dam
rath
(200
1). "
§7.5.
5
Auto
morp
hism
s". M
athe
mati
cal
foun
datio
ns of
com
putat
ional
engi
neeri
ng (
Felix
Pahl
trans
latio
n ed.
).
Spri
nger.
p. 37
6. IS
BN 3
-
540-
6799
5-2.
6. ^ Ya
le,
Paul
B.
(May
1966
). "A
 utom
orphi
sms
of
the
Com
plex
Num
bers" 
(PDF
). Ma
them
atics
Mag
azin
e. 39 
(3):
135–
141. 
doi:1
0.23
07/2
6893
01. J
STO
R 26
8930
1.
7. ^ Pe
titjea
n,
Mich
el
(200
7). "
A
defin
ition
of
sym
metr
y". S
ymm
etry:
Cult
ure
and
Scie
nce. 
18 (2
–3):
99–
119. 
Zbl 1
274.
5800
3.
8. ^ Ju
mp
 up
to:a b 
Olve
r,
Pete
r
J. (1
986). 
Appli
catio
ns of
Lie
Grou
ps to
Diffe
renti
al
Equ
ation
s.
New
York
:
Spri
nger
Verl
ag. I
SBN 
978-
0-
387-
9500
0-6.

Bibliog
rafía [ e
ditar ]

 Weyl,
Herma
nn (198
9)
[1952]. 
simetrí
a _ Bibl
ioteca
de
Ciencia
s de
Princet
on. Pre
nsa de
la
 Univers
idad de
Princet
on. ISB
N 0-
691-
02374-
3.
 Ronan,
Marcos
(2006). 
La
simetrí
a y el
Monstr
uo . Pr
ensa
de la
Univers
idad de
Oxford. 
ISBN 9
78-0-
19-
280723
-6.
(Introd
ucción
concisa
para
lectore
s
legos)
 du
Sautoy,
Marcus 
(2012). 
Encont
rar
Moons
hine: el
viaje
de un
matem
ático a
través
 de la
simetrí
a . Har
per
Collins. 
ISBN 9
78-0-
00-
738087
-9.
Israel
Bibliotecas nacionales 
Estados Unidos
Categorías 
:
 Simetría
Menú de Navegación
 Sin iniciar sesión
 Hablar
 Contribuciones
 Crear una cuenta
 Iniciar sesión
 Artículo
 Hablar
 Leer
 Editar
 Ver historial
Búsqueda
Buscar Ir

 Pagina principal
 Contenido
 Eventos actuales
 Artículo aleatorio
 Acerca de Wikipedia
 Contáctenos
 Donar
Contribuir
 Ayuda
 aprender a editar
 portal de la comunidad
 Cambios recientes
 Subir archivo
Instrumentos
  Que enlaces aqui
 Cambios relacionados
 páginas especiales
 Enlace Permanente
 Información de la página
 Citar esta página
 Elemento de wikidata
Imprimir/exportar
 Descargar como PDF
 Versión imprimible
Idiomas
 ‫العربية‬
 ingles
 portugués
 Русский
 தமிழ்
 Turquía
 中文
5 más
Editar enlaces
 Esta página se editó por última vez el 5 de diciembre
de 2021 a las 02:35  (UTC) .
 El texto está disponible bajo la licencia Creative
Commons Attribution-ShareAlike 3.0 ; se pueden
aplicar términos adicionales. Al usar este sitio, usted
acepta los Términos de uso y la Política de
privacidad . Wikipedia® es una marca registrada
de Wikimedia Foundation, Inc. , una organización
sin fines de lucro.
 Política de privacidad

 Acerca de Wikipedia

 Descargos de responsabilidad

 Contacto Wikipedia

 Vista móvil

 Desarrolladores

 Estadísticas

 Declaración de cookies