stringtranslate.com

Relación asimétrica

En matemáticas , una relación asimétrica es una relación binaria en un conjunto donde para todo si está relacionado con entonces no está relacionado con [1]

Definición formal

Preliminares

Una relación binaria en es cualquier subconjunto de Dado se escribe si y solo si lo que significa que es una abreviatura de La expresión se lee como " está relacionado con por "

Definición

La relación binaria se llama asimétrica si para todo si es verdadero entonces es falso; es decir, si entonces Esto se puede escribir en la notación de lógica de primer orden como Una definición lógicamente equivalente es:

para todos al menos uno de y es falso ,

que en lógica de primer orden puede escribirse como: Una relación es asimétrica si y sólo si es antisimétrica e irreflexiva , [2] por lo que esto también puede tomarse como una definición.

Ejemplos

Un ejemplo de una relación asimétrica es la relación " menor que " entre números reales : si entonces necesariamente no es menor que De manera más general, cualquier orden parcial estricto es una relación asimétrica. No todas las relaciones asimétricas son órdenes parciales estrictos. Un ejemplo de una relación asimétrica no transitiva, incluso antitransitiva, es la relación piedra, papel o tijera : si gana entonces no gana y si gana y gana entonces no gana

Las restricciones y recíprocas de relaciones asimétricas también son asimétricas. Por ejemplo, la restricción de de los números reales a los enteros sigue siendo asimétrica, y la recíproca o dual de también es asimétrica.

Una relación asimétrica no necesita tener la propiedad conexa . Por ejemplo, la relación de subconjunto estricto es asimétrica y ninguno de los conjuntos y es un subconjunto estricto del otro. Una relación es conexa si y solo si su complemento es asimétrico.

Un ejemplo de no-ejemplo es la relación "menor o igual que" . Esta no es asimétrica, porque al invertir, por ejemplo, se obtiene y ambas son verdaderas. La relación menor o igual que es un ejemplo de una relación que no es ni simétrica ni asimétrica, lo que demuestra que la asimetría no es lo mismo que "no simétrica ".

La relación vacía es la única relación que es ( vacuamente ) a la vez simétrica y asimétrica.

Propiedades

Las siguientes condiciones son suficientes para que una relación sea asimétrica: [3]

Véase también

Referencias

  1. ^ Gries, David ; Schneider, Fred B. (1993), Un enfoque lógico para las matemáticas discretas , Springer-Verlag, pág. 273.
  2. ^ Nievergelt, Yves (2002), Fundamentos de lógica y matemáticas: aplicaciones a la informática y la criptografía , Springer-Verlag, pág. 158.
  3. ^ Burghardt, Jochen (2018). "Leyes simples sobre propiedades no prominentes de relaciones binarias". arXiv : 1806.05036 [math.LO].
  4. ^ Flaška, V.; Ježek, J.; Kepka, T.; Kortelainen, J. (2007). Cierres transitivos de relaciones binarias I (PDF) . Praga: Facultad de Matemáticas - Física de la Universidad Charles. p. 1. Archivado desde el original (PDF) el 2013-11-02 . Consultado el 20 de agosto de 2013 .Lema 1.1 (iv). Nótese que esta fuente se refiere a las relaciones asimétricas como "estrictamente antisimétricas".