Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Instalar
¡Más rápido que el navegador!
 

Relación de equivalencia

Índice 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.

61 relaciones: Análisis matemático, Aritmética modular, Bicondicional, Bien definido, Ciencia, Congruencia (geometría), Congruencia (teoría de números), Conjugación (teoría de grupos), Conjunto, Conjunto parcialmente ordenado, Conjunto preordenado, Conjuntos disjuntos, Constructivismo (matemática), Cuerpo (matemáticas), Dominio de una función, Equivalencia lógica, Espacio cociente, Espacio cociente (álgebra lineal), Espacio topológico, Estructura algebraica, Fórmula (expresión), Función (matemática), Función biyectiva, Función inyectiva, Función sobreyectiva, Garrett Birkhoff, Id est, Identidad (filosofía), Igualdad matemática, Imagen (matemática), Invariante, John Wiley & Sons, Kernel (álgebra), Lógica de clases, Módulo (matemática), Número entero, Orden, Partición de un conjunto, Principio del tercero excluido, Propiedad (lógica), Proyección (teoría de conjuntos), Relación antisimétrica, Relación asimétrica, Relación binaria, Relación de congruencia, Relación de dependencia, Relación de equivalencia, Relación euclidiana, Relación reflexiva, Relación simétrica, ..., Relación total, Relación transitiva, Saunders Mac Lane, Semejanza (geometría), Subgrupo normal, Sustitución (álgebra), Teoría de conjuntos, Teoría del orden, Topología cociente, Triángulo, Unión de conjuntos. Expandir índice (11 más) »

Análisis matemático

El análisis matemático es una rama de la matemática que estudia los conjuntos numéricos (los números reales y los complejos) tanto del punto de vista algebraico como topológico, así como las funciones entre esos conjuntos y construcciones derivadas.

¡Nuevo!!: Relación de equivalencia y Análisis matemático · Ver más »

Aritmética modular

En matemática, la aritmética modular es un sistema aritmético para clases de equivalencia de números enteros llamadas clases de congruencia.

¡Nuevo!!: Relación de equivalencia y Aritmética modular · Ver más »

Bicondicional

En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como si y solo si) es un operador lógico binario, es decir, una función \leftrightarrow: B \times B \rightarrow B, siendo B cualquier conjunto con |B|.

¡Nuevo!!: Relación de equivalencia y Bicondicional · Ver más »

Bien definido

En matemáticas, el término bien definido se usa para especificar que un concepto (una función, una propiedad, una relación, etc.) se define de forma lógicamente consistente usando un conjunto de axiomas básicos sin ambigüedad alguna.

¡Nuevo!!: Relación de equivalencia y Bien definido · Ver más »

Ciencia

La ciencia (del latín scientĭa, 'conocimiento') es un conjunto de conocimientos sistemáticos comprobables que estudian, explican y predicen los fenómenos sociales, artificiales y naturales.

¡Nuevo!!: Relación de equivalencia y Ciencia · Ver más »

Congruencia (geometría)

En geometría, dos figuras u objetos son congruentes si tienen la misma forma y tamaño, o si una tiene la misma forma y tamaño que la imagen especular de la otra.

¡Nuevo!!: Relación de equivalencia y Congruencia (geometría) · Ver más »

Congruencia (teoría de números)

Congruencia es un término usado en la teoría de números, para designar que dos números enteros a\,\textstyle\text\displaystyle\,b tienen el mismo resto al dividirlos por un número natural m\, \ne\, 0, llamado módulo; esto se expresa utilizando la notación: que se expresa diciendo que: a\, es congruente con b\, módulo m\,.

¡Nuevo!!: Relación de equivalencia y Congruencia (teoría de números) · Ver más »

Conjugación (teoría de grupos)

En álgebra abstracta, y más concretamente en teoría de grupos, se denomina conjugación a un tipo de acción de un grupo sobre sí mismo.

¡Nuevo!!: Relación de equivalencia y Conjugación (teoría de grupos) · Ver más »

Conjunto

En matemáticas, un conjunto es una colección de elementos considerada en sí misma como un objeto matemático.

¡Nuevo!!: Relación de equivalencia y Conjunto · Ver más »

Conjunto parcialmente ordenado

En matemáticas, especialmente en teoría del orden, un conjunto parcialmente ordenado o simplemente conjunto ordenadoSe usa esta expresión cuando no exista ambigüedad.

¡Nuevo!!: Relación de equivalencia y Conjunto parcialmente ordenado · Ver más »

Conjunto preordenado

En matemática, especialmente en teoría del orden, preórdenes son ciertas clases de relaciones binarias que se relacionan con los conjuntos parcialmente ordenados.

¡Nuevo!!: Relación de equivalencia y Conjunto preordenado · Ver más »

Conjuntos disjuntos

En teoría de conjuntos, dos conjuntos son disjuntos o ajenos si no tienen ningún elemento en común.

¡Nuevo!!: Relación de equivalencia y Conjuntos disjuntos · Ver más »

Constructivismo (matemática)

En filosofía de las matemáticas, el constructivismo o escuela constructivista requiere para la prueba de la existencia de un objeto matemático, que este pueda ser encontrado o «construido».

¡Nuevo!!: Relación de equivalencia y Constructivismo (matemática) · Ver más »

Cuerpo (matemáticas)

En matemática, concretamente en el campo del álgebra abstracta, un cuerpo (en ocasiones llamado campo como traducción de inglés field) es un sistema algebraico en el cual las operaciones llamadas adición y multiplicación se pueden realizar y cumplen las propiedades: asociativa, conmutativa y distributiva de la multiplicación respecto de la adición, además de la existencia de inverso aditivo, de inverso multiplicativo y de un elemento neutro para la adición y otro para la multiplicación, los cuales permiten efectuar las operaciones de sustracción y división (excepto la división por cero); estas propiedades ya son familiares de la aritmética de números racionales.

¡Nuevo!!: Relación de equivalencia y Cuerpo (matemáticas) · Ver más »

Dominio de una función

En matemáticas, el dominio (conjunto de definición o conjunto de partida) de una función f:X\to Y es el conjunto de existencia de ella misma, es decir, los valores para los cuales la función está definida.

¡Nuevo!!: Relación de equivalencia y Dominio de una función · Ver más »

Equivalencia lógica

En lógica, las declaraciones p y q son lógicamente equivalentes si tienen el mismo contenido lógico.

¡Nuevo!!: Relación de equivalencia y Equivalencia lógica · Ver más »

Espacio cociente

Espacio cociente es un término matemático que hace referencia a cierta estructura matemática que se deriva de otra en la que se ha definido una relación de equivalencia.

¡Nuevo!!: Relación de equivalencia y Espacio cociente · Ver más »

Espacio cociente (álgebra lineal)

En álgebra lineal, el espacio vectorial cociente E/F de un espacio vectorial E por un subespacio vectorial F, es la estructura natural de espacio vectorial sobre el conjunto cociente de E por la siguiente relación de equivalencia: v está relacionado con w si y solo si v-w pertenece a F.

¡Nuevo!!: Relación de equivalencia y Espacio cociente (álgebra lineal) · Ver más »

Espacio topológico

Un espacio topológico es una estructura matemática que permite la definición formal de conceptos como convergencia, conectividad, continuidad y vecindad, usando subconjuntos de un conjunto dado.

¡Nuevo!!: Relación de equivalencia y Espacio topológico · Ver más »

Estructura algebraica

En álgebra abstracta, una estructura algebraica, también conocida como sistema algebraico, es una n-tupla (a1, a2,..., an), donde a1 es un conjunto dado no vacío, y un conjunto de operaciones aplicables a los elementos de dicho conjunto.

¡Nuevo!!: Relación de equivalencia y Estructura algebraica · Ver más »

Fórmula (expresión)

Una fórmula es una secuencia o cadena de caracteres cuyos símbolos pertenecen a un lenguaje formal, de tal manera que la expresión cumple ciertas reglas de buena formación y que admite una interpretación consistente en alguna área de la matemática y en otros sistemas formales.

¡Nuevo!!: Relación de equivalencia y Fórmula (expresión) · Ver más »

Función (matemática)

En matemática, se dice que una magnitud es función de otra si el valor de la primera depende del valor de la segunda.

¡Nuevo!!: Relación de equivalencia y Función (matemática) · Ver más »

Función biyectiva

En matemáticas, una función es biyectiva si es al mismo tiempo inyectiva y sobreyectiva; es decir, si todos los elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento del conjunto de llegada le corresponde un elemento del conjunto de salida.

¡Nuevo!!: Relación de equivalencia y Función biyectiva · Ver más »

Función inyectiva

En matemáticas, una función: \end es inyectiva, uno a uno, si a elementos distintos del conjunto X (dominio) les corresponden elementos distintos en el conjunto Y (codominio) de f, es decir, cada elemento del conjunto Y tiene a lo sumo una preimagen en X, o, lo que es lo mismo, en el conjunto X no puede haber dos o más elementos que tengan la misma imagen.

¡Nuevo!!: Relación de equivalencia y Función inyectiva · Ver más »

Función sobreyectiva

En matemáticas, una función: \end es sobreyectiva, epiyectiva, suprayectiva, suryectiva, exhaustiva, onto o subyectiva si está aplicada sobre todo el codominio, es decir, cuando cada elemento de Y es la imagen de como mínimo un elemento de \scriptstyle X. Formalmente,.

¡Nuevo!!: Relación de equivalencia y Función sobreyectiva · Ver más »

Garrett Birkhoff

Garrett Birkhoff (Princeton, Nueva Jersey; 19 de enero de 1911-Water Mill, Nueva York; 22 de noviembre de 1996) fue un matemático estadounidense nacido en Princeton, Nueva Jersey y fallecido en Water Mill, Nueva York.

¡Nuevo!!: Relación de equivalencia y Garrett Birkhoff · Ver más »

Id est

Id est es una expresión latina que significa ‘esto es’, cuya abreviatura i.e. es muy usada en definiciones matemáticas y demostraciones de teoremas, lemas y corolarios.

¡Nuevo!!: Relación de equivalencia e Id est · Ver más »

Identidad (filosofía)

En filosofía, la identidad es la relación que toda entidad mantiene solo consigo misma.

¡Nuevo!!: Relación de equivalencia e Identidad (filosofía) · Ver más »

Igualdad matemática

En matemáticas, un enunciado en el que dos expresiones (iguales o distintas) denotan el mismo objeto matemático se llama igualdad matemática.

¡Nuevo!!: Relación de equivalencia e Igualdad matemática · Ver más »

Imagen (matemática)

En matemáticas, la imagen, campo de valores o rango de una función f \colon X \to Y \,, también llamada la imagen de X bajo f, es el conjunto contenido en Y formado por todos los valores que puede llegar a tomar la función.

¡Nuevo!!: Relación de equivalencia e Imagen (matemática) · Ver más »

Invariante

Invariante es algo que no cambia al aplicarle un conjunto de transformaciones.

¡Nuevo!!: Relación de equivalencia e Invariante · Ver más »

John Wiley & Sons

John Wiley & Sons Ltd.

¡Nuevo!!: Relación de equivalencia y John Wiley & Sons · Ver más »

Kernel (álgebra)

En álgebra, el kernel De la palabra alemana "kernel", que significa núcleo o núcleo de un homomorfismo mide el grado en que el homomorfismo no es inyectivo.

¡Nuevo!!: Relación de equivalencia y Kernel (álgebra) · Ver más »

Lógica de clases

La lógica de clases analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo clasificado por poseer una determinada propiedad.

¡Nuevo!!: Relación de equivalencia y Lógica de clases · Ver más »

Módulo (matemática)

En matemáticas, un módulo es una de las estructuras algebraicas fundamentales usadas en álgebra abstracta.

¡Nuevo!!: Relación de equivalencia y Módulo (matemática) · Ver más »

Número entero

Un número entero es un elemento del conjunto numérico que contiene los números naturales; que son \mathbb.

¡Nuevo!!: Relación de equivalencia y Número entero · Ver más »

Orden

El orden es la propiedad que emerge en el momento en que varios sistemas abiertos, pero en origen aislados, llegan a interactuar por coincidencia en el espacio y el tiempo, produciendo, mediante sus interacciones naturales, una sinergia que ofrece como resultado una realimentación en el medio, de forma que los elementos usados como materia prima, dotan de capacidad de trabajo a otros sistemas en su estado de materia elaborada.

¡Nuevo!!: Relación de equivalencia y Orden · Ver más »

Partición de un conjunto

Una partición de un conjunto A está formada por los subconjuntos A1, A2, A3,..., An, los cuales deben cumplir.

¡Nuevo!!: Relación de equivalencia y Partición de un conjunto · Ver más »

Principio del tercero excluido

El principio del tercero excluido, propuesto y formalizado por Aristóteles, también llamado principio del cuarto excluido o excluso o en latín principium tertii exclusi o bien tertium non datur (“una tercera cosa no se da”), es un principio de lógica clásica según el cual si existe una proposición que afirma algo, y otra que lo contradice, una de las dos debe ser verdadera, y una tercera opción no es posible.

¡Nuevo!!: Relación de equivalencia y Principio del tercero excluido · Ver más »

Propiedad (lógica)

En filosofía, lógica y matemática, una propiedad es un atributo o cualidad de un objeto.

¡Nuevo!!: Relación de equivalencia y Propiedad (lógica) · Ver más »

Proyección (teoría de conjuntos)

En teoría de conjuntos, una proyección es uno de dos tipos de funciones u operaciones estrechamente relacionadas entre sí.

¡Nuevo!!: Relación de equivalencia y Proyección (teoría de conjuntos) · Ver más »

Relación antisimétrica

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

¡Nuevo!!: Relación de equivalencia y Relación antisimétrica · Ver más »

Relación asimétrica

Una relación binaria R sobre un conjunto A, es asimétrica cuando si se da que un elemento está relacionado con otro mediante R, entonces el segundo nunca está relacionado con el primero.

¡Nuevo!!: Relación de equivalencia y Relación asimétrica · Ver más »

Relación binaria

Una relación binaria R es el subconjunto de los elementos del producto cartesiano A_1 \times A_2 \ que cumplen una determinada condición.

¡Nuevo!!: Relación de equivalencia y Relación binaria · Ver más »

Relación de congruencia

En álgebra abstracta, una relación de congruencia (o simplemente congruencia) es una relación de equivalencia definida sobre una estructura algebraica (como un grupo, anillo o espacio vectorial) que es compatible con la estructura en el sentido de que las operaciones algebraicas realizadas con elementos equivalentes producirán elementos equivalentes.

¡Nuevo!!: Relación de equivalencia y Relación de congruencia · Ver más »

Relación de dependencia

En matemáticas, dado un conjunto no vacío A, y una relación binaria entre sus elementos, se dice que esta relación binaria es una relación de dependencia, si es reflexiva y simétrica: Propiedad reflexiva: Propiedad simétrica.

¡Nuevo!!: Relación de equivalencia y Relación de dependencia · Ver más »

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.

¡Nuevo!!: Relación de equivalencia y Relación de equivalencia · Ver más »

Relación euclidiana

En matemáticas, las relaciones euclidianas son una clase de relación binarias que formalizan "Axioma 1" en Elementos de Euclides': "Magnitudes que son iguales a la misma son iguales entre sí".

¡Nuevo!!: Relación de equivalencia y Relación euclidiana · Ver más »

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.

¡Nuevo!!: Relación de equivalencia y Relación reflexiva · Ver más »

Relación simétrica

Una relación binaria R sobre un conjunto A, es simétrica cuando se da que si un elemento está relacionado con otro mediante R, entonces ese otro también está relacionado con él, a través de la misma "R".

¡Nuevo!!: Relación de equivalencia y Relación simétrica · Ver más »

Relación total

Una relación binaria R sobre un conjunto A es una relación total (o relación conexa) cuando se cumple que para cada dos elementos a y b de A, o a está relacionado con b o b está relacionado con a, esto es: Nótese que esto implica una relación reflexiva, pues incluye los casos en que a y b son el mismo elemento.

¡Nuevo!!: Relación de equivalencia y Relación total · Ver más »

Relación transitiva

Una relación binaria R sobre un conjunto A es transitiva 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.

¡Nuevo!!: Relación de equivalencia y Relación transitiva · Ver más »

Saunders Mac Lane

Saunders Mac Lane (4 de agosto de 1909, Taftville, Connecticut – 14 de abril de 2005, San Francisco) fue un matemático estadounidense cofundador de la teoría de categorías con Samuel Eilenberg.

¡Nuevo!!: Relación de equivalencia y Saunders Mac Lane · Ver más »

Semejanza (geometría)

En geometría euclidiana, dos figuras geométricas son semejantes si uno tienen la misma forma del otro o de la imagen especular del mismo, sin importar el tamaño.

¡Nuevo!!: Relación de equivalencia y Semejanza (geometría) · Ver más »

Subgrupo normal

En matemáticas, un subgrupo normal o subgrupo distinguido N de un grupo G es un subgrupo invariante por conjugación; es decir, para cada elemento n\in N y cada g\in G, el elemento gng^ está en N. Se denota N\triangleleft G.

¡Nuevo!!: Relación de equivalencia y Subgrupo normal · Ver más »

Sustitución (álgebra)

En álgebra, la sustitución es un procedimiento utilizado para resolver determinados tipos de ecuaciones, reemplazando una variable por una expresión en función de otra variable, lo que permite transformar la ecuación inicial en un tipo cuya resolución se conoce.

¡Nuevo!!: Relación de equivalencia y Sustitución (álgebra) · Ver más »

Teoría de conjuntos

La teoría de conjuntos es una rama de laNlab lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas.

¡Nuevo!!: Relación de equivalencia y Teoría de conjuntos · Ver más »

Teoría del orden

La teoría del orden es una rama de la matemática que estudia varias clases de relaciones binarias que capturan la noción intuitiva del orden matemático.

¡Nuevo!!: Relación de equivalencia y Teoría del orden · Ver más »

Topología cociente

En matemáticas, la topología cociente consiste intuitivamente en crear una topología pegando ciertos puntos sobre otros, en un espacio dado, por medio de una relación de equivalencia bien definida.

¡Nuevo!!: Relación de equivalencia y Topología cociente · Ver más »

Triángulo

En geometría plana, se llama triángulo, trígono o trigonoide al polígono de tres lados.

¡Nuevo!!: Relación de equivalencia y Triángulo · Ver más »

Unión de conjuntos

En la teoría de conjuntos, la unión de dos (o más) conjuntos es una operación que resulta en otro conjunto, cuyos elementos son los mismos de los conjuntos iniciales.

¡Nuevo!!: Relación de equivalencia y Unión de conjuntos · Ver más »

Redirecciona aquí:

Clases de equivalencia, Lema de abstraccion, Lema de abstracción, Relacion de equivalencia, Representante canonico, Representante canónico.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »