Producto cartesiano

En matemáticas, el producto cartesiano de dos conjuntos es

una operación, que resulta en otro conjunto,
cuyos elementos son todos los pares ordenados que pueden
formarse de forma que el primer elemento del par ordenado
pertenezca al primer conjunto y el segundo elemento
pertenezca al segundo conjunto.
El producto cartesiano recibe su nombre de René Descartes,
cuya formulación de la geometría analítica dio origen a este
concepto.

Ejemplo
Por ejemplo, dados los conjuntos:

su producto cartesiano de A por B es:

que se representa:

es un conjunto de números de operaciones con números reales entre si por ejemplo + por
mas - por menos es igual a menos

y el producto cartesiano de B por A es:

que se representa:

Ver que:
Dado que son pares ordenados.

Definición
Es una colección de dos objetos distinguidos como primero y segundo, y se denota
como (a, b), donde a es el «primer elemento» y b el «segundo elemento». Dados dos
conjuntos A y B, su producto cartesiano es el conjunto de todos los pares ordenados que
pueden formarse con estos dos conjuntos:
El producto cartesiano de A y B es el conjunto A × B cuyos elementos son los
pares ordenados (a, b), donde a es un elemento de A y b un elemento de B:

Ejemplos
Números enteros
Sea también el conjunto de todos los números enteros Z = {..., −2,
−1, 0, +1, +2, ...}. El producto cartesiano de Z consigo mismo
es Z2 = Z × Z = { (0,0), (0, +1), (0, −1), (0, +2), ..., (+1, 0), ... (−1,
0), ... }, es decir, el conjunto de los pares ordenados cuyos
componentes son enteros. Para representar los números enteros
se utiliza la recta numérica, y para representar el conjunto Z2 se
utiliza un plano cartesiano (en la imagen).

Relación antisimétrica
Una relación binaria  R sobre un conjunto A  es antisimétrica123 cuando se da que si dos
elementos de A se relacionan entre sí mediante R , entonces estos elementos son iguales.
Es decir,

Para todo a, b de A, si se cumple que a está relacionado con b y b está relacionado con a,

entonces a es igual a b.
En tal caso, se dice que A  cumple con la propiedad de antisimetría.
La aplicación de cualquier relación R  sobre un conjunto A, se representa con el par ordenado 
(A, R)

Representación
Sea R  una relación antisimétrica aplicada sobre un conjunto , entonces  tiene una
representación particular para cada forma de describir una relación binaria.

Como pares ordenados,
Para todo a, b de A, si se cumple que a está relacionado con b y b está relacionado con a,
entonces a es igual a b.
En tal caso, se dice que R cumple con la propiedad de antisimetría.
La aplicación de cualquier relación R sobre un conjunto A, se representa con el par
ordenado (A, R)

Representación
Sea R una relación antisimétrica aplicada sobre un conjunto A, entonces R tiene una
representación particular para cada forma de describir una relación binaria.
Como pares ordenados,

 Como matriz de adyacencia M, la matriz M+Mt no tiene ningún 1 salvo, a lo sumo,

en la diagonal principal.
 Como grafo, dos nodos no podrán estar conectados por dos aristas dirigidas en ambas
direcciones. Sin embargo, sí podría tener bucles.

Ejemplos

Antisimetría ≠/ asimetría
La antisimetría no es lo opuesto de la simetría.
Existen relaciones que son simétricas y antisimétricas al mismo
tiempo (como la igualdad), otras que no son simétricas ni
antisimétricas, otras que son simétricas pero no antisimétricas (como
la relación de congruencia módulo n), y otras que son antisimétricas
pero no simétricas (como la relación "menor que").

Véase también
Referencias

1.  Villalpando Becerra, José Francisco; García Sandoval, Andrés (2014).

«3.5». Matemáticas Discretas (1 edición). Grupo Editorial Patria. p. 66. ISBN 978-607-438-
925-8.
2. ↑ Richard Johnsonbaugh (2005). «3». Matemáticas discretas (6 edición). Pearson
Educación. p. 119. ISBN 978-970-260-637-6.
3. ↑ L. E. Sigler (1981). «1». Álgebra (Luis Bou Garía, trad.). Editorial Reverte.
p. 12. ISBN 978-842-915-129-9.

Par ordenado
En matemáticas, un par ordenado es una pareja de objetos matemáticos, en la que se
distingue un elemento y otro. El par ordenado cuyo primer
elemento es a y cuyo segundo elemento es b se denota
como (a, b).
Un par ordenado (a, b) no es el conjunto que contiene a los
elementos a y b, denotado por {a, b}. Un conjunto está
definido únicamente por sus elementos, mientras que en un
par ordenado el orden de estos es también parte de
su definición. Por ejemplo, los conjuntos {0, 1} y {1, 0} son
idénticos, pero los pares ordenados (0, 1) y (1, 0) son
distintos.
Los pares ordenados también se denominan tuplas o
vectores dimensionales. La noción de una colección finita de objetos ordenada puede
generalizarse a más de dos objetos, dando lugar al concepto de n-tupla.
El producto cartesiano de conjuntos, las relaciones binarias, las coordenadas cartesianas,
las fracciones y las funciones se definen en términos de pares ordenados.

Definición
La propiedad característica que define un par ordenado es la condición para que dos de ellos
sean idénticos:

Los elementos de un par ordenado también se denominan componentes.

Producto cartesiano

Artículo principal: Producto cartesiano

Dados dos conjuntos X e Y, la colección de todos los pares ordenados (x, y), formados con un
primer elemento en X y un segundo elemento en Y, se denomina el producto cartesiano
de X e Y, y se denota X × Y. El producto cartesiano de conjuntos permite
definir relaciones y funciones.

Generalizaciones
Artículo principal: N-tupla

Es habitual trabajar con colecciones ordenadas de más de dos objetos, sin más que extender
la definición del par ordenado. Por ejemplo, un trío ordenado o terna ordenada es una terna
de objetos matemáticos en la que se distinguen un primer, segundo y tercer elemento. La
propiedad principal de un trío ordenado es entonces:

En general se puede adoptar una definición similar para un número cualquiera de

elementos n, dando lugar así a una n-tupla.

Definición conjuntista
La condición de igualdad entre pares ordenados es su única propiedad matemática relevante.1
Sin embargo, en teoría de conjuntos se construyen todos los objetos matemáticos a partir
de conjuntos: números, funciones, etc. En este contexto, se define par ordenado como un
conjunto particular de tal manera que su relación de igualdad sea la correcta.
La definición conjuntista habitual, debida a Kuratowski, es:2

Mediante el axioma de extensionalidad y el axioma del par puede demostrarse que este

término define un conjunto, con la propiedad característica del par ordenado .3

Esquemas sustitutivos
La definición conjuntista de Kuratowski no es la única existente en la literatura matemática:

 (a,b)={ {a, 1}, {b, 2} } (Hausdorff, 1914).2

 (a,b)= { {{a}, ∅}, {{b}} } (Wiener, 1914).4

FUNCIONES Y RELACIONES

Es importante conocer la diferencia entre una relación y una función:

 Una relación es una correspondencia de elementos entre dos conjuntos.
  Una función es una relación en donde a cada elemento de un conjunto
(A) le corresponde uno y sólo un elemento de otro conjunto (B).
Todas las funciones tienen un dominio y un contradominio.
 Dominio: conjunto de los elementos que definen la función, es decir, los
elementos que se van a asociar con otro conjunto (los que sólo pueden
asociarse una vez).
 Contradominio: también llamado imagen, rango o codominio, es el
conjunto de elementos que son el resultado de la asociación del dominio
bajo la relación.

DIFERENCIA ENTRE RELACIONES Y FUNCIONES

La relación matemática es el vínculo que existe entre los elementos de un subconjunto
con respecto al producto de dos conjuntos. Una función implica la operación
matemática para determinar el valor de una variable dependiente según el valor de una
variable independiente. Toda función es una relación, pero no toda relación es una
función.
¿Qué es una relación matemática?

Se llama relación binaria de un conjunto A en un conjunto B o relación entre elementos

de A y B a todo subconjunto C del producto cartesiano A x B.

Es decir, si el conjunto A está compuesto por los elementos 1, 2 y 3, y el conjunto B está

compuesto por los elementos 4 y 5, el producto cartesiano de A x B serán los pares
ordenados:

A x B= {(1,4), (2,4), (3, 4), (1,5), (2,5), (3,5)}.

El subconjunto C={(2,4), (3,5)} será una relación de A y B pues está compuesto por los
pares ordenados (2,4) y (3, 5), resultado del producto cartesiano de A x B.

Concepto de relación

"Sean A y B dos conjuntos cualesquiera no vacíos, sea A x B el conjunto producto de

ambos, es decir: A x B está formado por los pares ordenados (x, y) tales que x es el
elemento de A y y lo es de B. Si en A x B se define un subconjunto cualquiera C, queda
automáticamente determinada una relación binaria en A y B de la siguiente forma:
x R y si y solo si (x, y) ∈ C
(la notación x R y significa "x está relacionado con y").

La función reciproca o inversa de f es otra función f−1 que cumple que:

Si f(a) = b, entonces f−1(b) = a.

El dominio de f−1 es el recorrido de f.

El recorrido de f−1 es el dominio de f.
Si queremos hallar el recorrido o rango de una función tenemos que hallar el
dominio de su función inversa.
Si dos funciones son reciprocas su composición es la función identidad.
(f o f  −1) (x) = (f  −1 o f) (x) = x
Las gráficas de f y f -1 son simétricas respecto de la bisectriz del primer y tercer
cuadrante.

Hay que distinguir entre la función inversa, f−1(x), y la inversa de una función,  .

Cálculo de la función reciproca

1
Se escribe la ecuación de la función en x e y.

2
Se despeja la variable x en función de la variable y.

3
Se intercambian las variables.
Calcular la función reciproca de:
Vamos a comprobar el resultado para x = 2

Dadas las funciones:

Calcular:

Partición (teoría de números)

En matemáticas discretas, una partición de un entero positivo n es una forma de
descomponer n como suma de enteros positivos. Dos sumas se considerarán iguales si solo
difieren en el orden de los sumandos.

De modo más riguroso, una partición de un número entero positivo n es una secuencia de
enteros positivos

Las posibles particiones de un entero n pueden

visualizarse con los diagramas conocidos como
diagramas de Ferrers o diagramas de Young.

Ejemplos
Las cinco particiones del número 4 serían:

4=3+1=2+2=2+1+1=1+1+1+1
Y las once particiones del número 6 serían:
 6 = 5 + 1 = 4 +2 = 4 + 1 + 1 = 3 + 3 = 3 + 2 + 1 =
= 3 + 1 + 1 + 1 = 2 + 2 + 2 = 2 + 2 + 1 + 1 = 2 + 1 + 1 + 1 + 1 = 1 + 1 + 1 + 1 + 1 +1

Representación de las particiones

Hay dos métodos comunes para representar particiones: por un lado, los esquemas Ferrers,
más tarde nombrados Norman Macleod Ferrers, y por otro los esquemas Young, renombrados
después por el matemático británico Alfred Young. Ambos tienen varias convenciones
posibles; aquí, se suele utilizar la notación la inglesa, con esquemas alineados en la esquina
superior izquierda.

Esquemas Ferrers
La partición 6+4+3+1 del número positivo 14 se puede representar mediante este diagrama:

Las 14 bolas están alineadas en 4 filas, cada una con el tamaño de la partición
correspondiente.
A continuación, se muestra otro ejemplo con 5 posibles particiones del número 4:
Esquemas Young
Una representación alternativa de la partición de enteros es el esquema Young. En lugar de
una representación con puntos,como el caso anterior, este usa cajas o cuadrados. Así, la
partición 5+4+1 viene dada por:

mientras que en el esquema Ferrer sería:

Aparentemente esta variación es trivial; sin embargo el uso de los esquemas Young es útil en
el estudio de funciones simétricas y en teoría de representación de grupos. Como
consecuencia de la adyacencia de diferentes cuadrados, estos esquemas pueden
considerarse como un caso especial de poliominós.

Función de partición

En la teoría de números, la función de partición p(n) representa el número de posibles

particiones de un número natural n, o lo que es lo mismo, el número de formas de representar
n como suma de números naturales. Por convenio, p(0)=1, y p(n)=0 para los números
negativos.
Los primeros valores de la función de partición, comenzando desde p(0)=1 son: 1, 1, 2, 3, 5, 7,
11, 15, 22, 30, 42, 56, 77, 101, 135, 176, 231, 297, 385, 490, 627, 792, 1002, 1255, 1575,
1958, 2436, 3010, 3718, 4565, 5604, … (secuencia A000041 en la OEIS).
Los valores de p(n) crecen muy rápidamente con el valor de n. De hecho:

 p(100) = 190,569,292
 p(200) = 3,972,998,029,388
 p(1000) = 24,061,467,864,032,622,473,692,149,727,991 ≈ 2.4 × 1031
Fórmulas para la función de partición[editar]
Una expresión asintótica de p(n) fue obtenida por G. H. Hardy y Ramanujan en 1918 y de
forma independiente por J. V. Uspensky en el año 1920:

Hardy y Ramanujan también obtuvieron una expansión asintótica cuyo primer término es la

aproximación anterior:
Donde

(la notación  indica que la suma es sobre parejas de enteros primos relativos; y la
función es una suma de Dedekind. En 1937, Hans Rademacher logró mejorar los
resultados de Hardy y Ramanujan y encontró una serie convergente para calcular p(n), a
saber:

Se puede demostrar que el término k de la serie de Rademacher es del orden de 

así que el primer término reproduce la aproximación asintótica de Hardy y Ramanujan.

Particiones restringidas
Si damos la vuelta al diagrama de la partición de 6 + 4 + 3 + 1, a lo largo de su diagonal
obtenemos la partición de 14.

6+4+3+1 = 4+3+3+2+1+1
Transformando las filas en columnas obtenemos la partición 4 + 3 + 3 + 2 + 1 + 1 del número
14. Se dice por tanto que estas particiones son conjugadas. En el caso del número 4, la
partición 4 y 1 + 1 + 1 + 1 son pares conjugados, y las particiones 3 + 1, y 2 + 1 + 1
son conjugadas mutuamente. Especial mención merece la partición 2 + 2, ya que su
conjugada es ella misma. Por tanto, decimos que una partición es autoconjugada.
Proposición: El número de particiones autoconjugadas es el mismo que el número de
particiones en partes distintas.
Demostración (boceto): La observación crucial es que cada parte impar puede ser "doblada"
por la mitad, formando así un diagrama autoconjugado:
 ↔ 

Así se puede obtener una biyección enre el conjunto de particiones en partes impares distintas
y el conjunto de particiones autoconjugadas, como se ilustra en el ejemplo siguiente:
↔
 9+7+3 = 5+5+4+3+2
Distintas impares autoconjugada

Relación de igualdad
Veremos ahora en que condiciones podemos decir que dos conjuntos
son iguales, esto lo haremos a través de la relación de igualdad entre
conjuntos.

Observa los conjuntos

¿Consideras que los conjuntos 

necesitas tener criterios para poder responder adecuadamente.
Se dice que dos conjuntos son iguales si tienen exactamente los
mismos elementos.  Una forma práctica de establecer si dos conjuntos
son iguales es determinar si se contienen el uno al otro.
Por ejemplo, para verificar si los conjuntos de la imagen son
iguales, debemos verificar si 
¿Es cierto que cada elemento de
Como puedes ver la respuesta a esta pregunta es afirmativa, decimos
entonces que K es igual a L y lo notamos así:  K = L.

Fíjate que no importó que algunos elementos estuvieran repetidos, o en

qué orden estuvieran presentados los elementos.  Resultaría igual
escribir, por ejemplo

Relación de
equivalencia
En teoría de conjuntos y álgebra, la noción
de relación de equivalencia sobre un
conjunto permite establecer una relación entre los elementos del conjunto que comparten
cierta característica o propiedad. Esto permite reagrupar dichos elementos en clases de
equivalencia, es decir, «paquetes» de elementos similares. Esto posibilita la construcción de
nuevos conjuntos «juntando» todos los elementos de una misma clase como un solo elemento
que los representará y que define la noción de conjunto cociente.

Definición
Sea K vacío y  R una relación binaria definida sobre K. Se dice que R es una relación de

equivalencia si cumple las siguientes propiedades:

Reflexividad: Todo elemento de K está relacionado consigo mismo. Es decir,

Simetría: Si un elemento de K está relacionado con otro, entonces ese otro elemento también
se relaciona con el primero. Es decir,

Transitividad: Si un elemento de K está relacionado con otro, y ese otro a su vez se relaciona
con un tercero, entonces el primero estará relacionado también con este último. Es decir,

Notación:
En aritmética modular la relación de equivalencia entre dos elementos

Una relación de equivalencia

Clase de equivalencia o relación de equivalencia

En lógica de clases y análisis matemático, la relación de equivalencia  R define subconjuntos
disjuntos en  K llamados clases de equivalencia: Dado un elemento

Se le llama la clase de equivalencia asociada al elemento a.

Al elemento a se le llama representante de la clase.

Se llama orden al número de clases que genera una relación de equivalencia; si este es finito,
se dice que la relación es de orden finito.
El concepto de clase de equivalencia tiene importancia en la ciencia, dado un conjunto de
objetos o entidades abstractas (potencialmente infinitas), pueden establecerse relaciones de
equivalencia sobre la base de algún criterio, las clases resultantes son los "tipos" en los que
se puede clasificar toda la gama de objetos.

Conjunto cociente
Al conjunto de todas las clases de equivalencia se denomina conjunto cociente y se denota
como:
Partición
Una relación de equivalencia sobre un conjunto induce una partición del mismo, es decir, un
conjunto en el que se ha definido una relación de equivalencia puede ser dividido en varios
subconjuntos de elementos equivalentes entre sí y tales que la reunión de esos subconjuntos
coincide con el conjunto entero. El siguiente teorema expresa en términos más formales esa
misma idea:

Proposición: Una relación de equivalencia en el conjunto no vacío K determina

una partición de este, y toda partición de K determina una relación de equivalencia en este.

Demostración

La partición tiene como elementos las clases de equivalencia. Estas son disjuntas dos a dos y
la unión de ellas es igual al conjunto K.

Ejemplos

 Sea N= {0,1,2, 3...}. Se define una relación de equivalencia en NxN, como sigue:
(a;b)~ (c;d) si y solo si a+d = b +c. Esta es una relación de equivalencia en NxN y
cada clase de equivalencia es un número entero. [(2;0)]= { (x;y)/ 2+y = 0 + x } a
(2;0) se llama representante canónico y se denota, simplificadamente, 2.

 La igualdad matemática
 La relación de congruencia módulo M en el conjunto de los números enteros
(i. e. ), donde se define:  si y solo si  es múltiplo de M.
Esta relación es de equivalencia porque:

 Es reflexiva: a - a = 0, que es múltiplo de M.

 Es simétrica: si a - b es múltiplo de M, entonces b - a = -(a - b) también es
múltiplo de M.
 Es transitiva: sean k y l números enteros tales que a - b = M k y b - c = M l.
Entonces, a - c = (a - b) + (b - c) = M k + M l = M(k + l) y por tanto un
múltiplo de M. En particular, si M = 2 tenemos la tradicional clasificación de
los números enteros en pares e impares.
Conexiones con otras relaciones

 Un orden parcial es una relación que es reflexiva, antisimétrica y transitiva.

 Igualdad es a la vez una relación de equivalencia y un orden parcial. La igualdad
es también la única relación sobre un conjunto que es reflexiva, simétrica y
antisimétrica. En expresión algebraicas, las variables iguales pueden
ser sustituidas unas por otras, una facilidad que no está disponible para las
variables relacionadas con la equivalencia. Las clases de equivalencia de una
relación de equivalencia pueden sustituirse entre sí, pero no los individuos dentro
de una clase.
 Un orden parcial estricto es irreflexivo, transitivo y asimétrica.
 Una relación de equivalencia parcial es transitiva y simétrica. Tal relación es
reflexiva si y sólo si es total, es decir, si para todo  existe algún proof 1 Por lo tanto,
una relación de equivalencia puede definirse alternativamente como una relación
simétrica, transitiva y total.
 Una relación de equivalencia ternaria es un análogo ternario de la relación de
equivalencia habitual (binaria).
 Una relación reflexiva y simétrica es una relación de dependencia (si es finita), y
una relación de tolerancia si es infinita.
 Un preorden es reflexivo y transitivo.
 Una relación de congruencia es una relación de equivalencia cuyo dominio  es
también el conjunto subyacente de una estructura algebraica, y que respeta la
estructura adicional. En general, las relaciones de congruencia desempeñan el
papel de núcleos de homomorfismos, y se puede formar el cociente de una
estructura por una relación de congruencia. En muchos casos importantes, las
relaciones de congruencia tienen una representación alternativa como
 subestructuras de la estructura sobre la que están definidas (por ejemplo, las
relaciones de congruencia sobre grupos corresponden al subgrupo normals).
 Cualquier relación de equivalencia es la negación de una relación de separación,
aunque la afirmación inversa sólo es válida en matemática clásica (en
contraposición a las matemática constructiva), ya que es equivalente a la Principio
del tercero excluido.
 Cada relación que es a la vez reflexiva e izquierda (o derecha) euclidiana es
también una relación de equivalencia.

Bien definido bajo una relación de equivalencia

Clase de equivalencia, conjunto cociente, partición

Partición

Relación reflexiva
En matemáticas, una relación reflexiva
o refleja es una relación binaria R sobre
un conjunto A, de manera que todo
elemento de A está relacionado consigo
mismo. Es decir,

En tal caso, se dice que R cumple con la

propiedad de reflexividad.
Cuando una relación es lo opuesto a una
reflexiva, es decir, cuando ningún
elemento de A está relacionado consigo
mismo mediante R, entonces se dice que
es irreflexiva, antirreflexiva o antirrefleja
, lo que denotamos formalmente por:
En este caso, se dice que R cumple con la propiedad de antirreflexividad.

Representación
Sea R  una relación reflexiva o antirreflexiva aplicada sobre un conjunto A, entonces R tiene
una representación particular para cada forma de describir una relación binaria.

Ejemplos

Simetría
Para otros usos de este término, véase Simetría (desambiguación).

La simetría (del griego őύν "con" y μέτροv "medida") es un rasgo característico de formas

geométricas, sistemas, ecuaciones y otros objetos materiales, o entidades abstractas,
relacionada con su invariancia bajo ciertas transformaciones, movimientos o intercambios.
Existen cinco tipos de simetría claramente establecidos:

 De rotación. Es el giro que experimenta todo motivo de manera repetitiva hasta

que finaliza consiguiendo la posición idéntica que tenía al principio.
 De abatimiento. En este caso lo que se logra es dos partes iguales de un objeto
concreto tras llevarse a cabo un giro de 180º de una con respecto a la otra.
  De traslación. Este es el término que se
utiliza para referirse al conjunto de
repeticiones que lleva a cabo un objeto a una
distancia siempre idéntica del eje y durante
una línea que puede estar colocada en
cualquier posición.
 De ampliación. Se emplea para dejar patente
que dos partes de un todo son semejantes y
es que tienen la misma forma pero no un
tamaño igual.
 Bilateral. Es la que permite que se obtenga
un retrato bilateral que tiene como espina
dorsal un eje de simetría. A los lados de este
aparecen formas iguales a la misma distancia
de él que serán las que permitan crear ese
citado retrato.
En condiciones formales, un objeto es simétrico en lo que
concierne a una operación matemática si el resultado de
aplicar esa operación o transformación al objeto, el resultado es un objeto indistinguible en su
aspecto del objeto original. Dos objetos son simétricos uno al otro en lo que concierne a un
grupo dado de operaciones si uno es obtenido de otro por algunas operaciones (y viceversa).
En la geometría 2D las clases principales de simetría de interés son las que conciernen a
las isometrías de un espacio euclídeo: traslación, rotaciones, reflexiones y reflexiones que se
deslizan. Además de simetrías geométricas existen simetrías abstractas relacionadas con
operaciones abstractas como la permutación de partes de un objeto.

En matemática
En geometría
Cuando hablamos de objetos físicos o elementos geométricos el concepto de simetría está
asociado a transformaciones geométricas tales como las rotaciones, las reflexiones o las
traslaciones. Dos simetrías sencillas son la simetría axial y la simetría central. Así se dice que
un objeto presenta:

 Simetría esférica si existe simetría bajo cualquier rotación, matemáticamente

equivale a que el grupo de simetría de un objeto físico o entidad matemática
sea SO(3).
 Simetría cilíndrica o simetría axial si existe un eje tal que los giros alrededor de él
no conducen a cambios de posición en el espacio, matemáticamente está
asociado a un grupo de isometría SO(2).
 Simetría reflectiva o simetría especular que se caracteriza por la existencia de un
único plano, matemáticamente está asociado al grupo O(1) o su representación
equivalente . En dos dimensiones tiene un eje de simetría y en tres dimensiones
tiene un plano. El eje de simetría de una figura bidimensional es una línea, si se
construye una perpendicular, cualquier punto que reposee en esta perpendicular a
la misma distancia del eje de simetría son idénticos. Otra manera de verlo es que
si la forma se doblara por la mitad sobre el eje, las dos mitades serían iguales. Por
ejemplo, un cuadrado tiene cuatro ejes de simetría, ya que hay cuatro formas
diferentes de doblarlo haciendo que sus bordes coincidan. Un círculo tendría
infinitos ejes de simetría por la misma razón.
  Simetría traslacional se da cuando la transformación  deja invariable a un objeto
bajo un grupo de traslaciones discretas o continuas. El grupo es discreto si la
invariancia solo se da para un número numerable de valores de a y continuo si la
invariancia se presenta para un conjunto infinito no numerable de valores de a en
caso contrario.
Algunos tipos de simetría que combinan dos o más de los
anteriores tipos son:
 Simetría antitraslacional que implica una reflexión
en una línea o plano combinado con una traslación
a lo largo de ese mismo eje. El grupo de simetría es
isomorfo a .
 Simetría de rotorreflexión o simetría de rotación
impropia, implica rotación alrededor de un eje
combinado con reflexión en un eje perpendicular al
de rotación.
 Simetría helicoidal implica un movimiento de
rotación en torno a un eje dado con un movimiento
de traslación a lo largo de ese mismo eje. Puede ser de tres clases:
1. Simetría helicoidal infinita
2. Simetría helicoidal de n-ejes
3. Simetría helicoidal que no se repite

Relación transitiva
Una relación binaria R sobre un conjunto A
s transitiva12 cuando se cumple: siempre que un
elemento se relaciona con otro y este último con un
tercero, entonces el primero se relaciona con el
tercero.

Esto es:

Dado el conjunto A y una relación R, esta relación es

transitiva si: a R b y b R c se cumple a R c.
La propiedad anterior se conoce como transitividad.

Ejemplos
Así por ejemplo dado el conjunto N de los números naturales y la relación de orden "menor o
igual que" vemos que es transitiva:
Representación
Una relación binaria se puede representar como pares ordenados, mediante una matriz de
adyacencia o mediante un grafo. Para el caso de una relación transitiva, cada una de estas
representaciones tiene características especiales:

Relación de orden
En matemáticas, una relación de orden u orden parciala es una relación binaria que
pretende formalizar la idea intuitiva de ordenación de los elementos de un conjunto, es decir,
que permite comparar sus elementos.
Los conjuntos dotados de un orden, llamados conjuntos ordenados, son el objeto de estudio
de la teoría del orden.

Definición

Órdenes parciales y totales

Relación de orden densa