La transitividad puede referirse a:

En gramática (transitividad verbal)

En lingüística, la transitividad es una propiedad de los verbos que indica si requieren o permiten un complemento directo (objeto) para completar su significado.

  • Verbo transitivo: exige un objeto directo. Ej.: «María comió la manzana». (¿qué comió? la manzana)
  • Verbo intransitivo: no admite objeto directo. Ej.: «Llegaron tarde». (no responde a *¿qué?*
  • Verbo ditransitivo: admite dos objetos (directo e indirecto). Ej.: «Le di un libro a Juan». (¿qué? un libro; ¿a quién? a Juan)
  • Verbos ambitransitivos: pueden usarse con o sin objeto. Ej.: «Juan come» / «Juan come una manzana».

Pruebas prácticas para detectar transitividad:

  • Pregunta «¿qué?» o «¿a quién?» al verbo para ver si aparece un complemento directo o indirecto.
  • Pasiva: los verbos transitivos suelen poder construirse en voz pasiva. Ej.: «El libro fue leído por Ana» (a partir de «Ana leyó el libro»).
  • Clíticos y pronombres de objeto: presencia de lo/la/los/las, le/les, etc., indica objetos pronominalizados.

En lógica y teoría de relaciones

En lógica matemática y teoría de conjuntos, la transitividad es una propiedad de una relación binaria R sobre un conjunto X.

Definición formal: R es transitiva si para todo a, b, c en X, si aRb y bRc, entonces aRc. (∀a,b,c ∈ X, (aRb ∧ bRc) → aRc)

Ejemplos:

  • Relaciones transitivas: ≤ en números reales (si a ≤ b y b ≤ c entonces a ≤ c), la relación «es antepasado de», la relación de divisibilidad (a | b y b | c ⇒ a | c), y la inclusión de conjuntos (⊆).
  • Relaciones no transitivas: «es amigo de» (A amigo B y B amigo C no garantiza A amigo C), o relaciones cíclicas como en «piedra vence a tijera, tijera vence a papel, papel vence a piedra» (juegos no transitivos).

Propiedades relevantes:

  • Si una relación es reflexiva, antisimbólica (antisymmetric) y transitiva, entonces es un orden parcial. Si además todo par de elementos es comparable, es un orden total.
  • Si una relación es reflexiva, simétrica y transitiva, es una relación de equivalencia y particiona el conjunto en clases de equivalencia.
  • La intersección de relaciones transitivas es transitiva; la unión no necesariamente lo es.
  • Equivalencia con composición: R es transitiva ⇔ R ∘ R ⊆ R.

En matemáticas y ciencias de la computación

En matemáticas en general y en informática, la transitividad aparece en varios conceptos:

  • Órdenes y relaciones: como se dijo, la transitividad es central en órdenes parciales y totales, y en relaciones de equivalencia.
  • Cierre transitivo: dado un grafo o una relación R, su cierre transitiva es la menor relación transitiva que contiene a R: añade todas las conexiones que se obtienen por concatenar caminos. Es útil para razonar sobre alcances, dependencias y accesibilidad en grafos.
  • Algoritmos: el cálculo del cierre transitivo de una matriz de adyacencia puede realizarse con el algoritmo de Warshall (variante de Floyd–Warshall para booleanos) en tiempo O(n³). En grafos grandes se usan algoritmos más eficientes según estructura.
  • Bases de datos y sistemas: la transitividad influye en inferencias (si A depende de B y B de C, entonces A depende de C) y en consultas recursivas (por ejemplo, SQL recursivo para jerarquías).

Aplicaciones y ejemplos prácticos

  • Lengua: comprender si un verbo permite pasiva o qué pronombres usar es fundamental para la corrección y la traducción.
  • Lógica y matemáticas: definir ordenamientos, clases de equivalencia, estructuras algebraicas y demostrar propiedades usando transitividad.
  • Ciencias de la computación: análisis de dependencias, cierre de permisos, caminos en grafos, y soluciones a problemas de alcance y análisis estático.

Resumen y consejos

  • Gramática: busca objeto directo (¿qué?) e indirecto (¿a quién?/¿para quién?), intenta la pasiva y observa clíticos para determinar si un verbo es transitivo.
  • Lógica/matemáticas: recuerda la definición formal (si aRb y bRc entonces aRc) y usa ejemplos concretos (≤, divisibilidad, inclusión) para comprenderla.
  • Informática: piensa en la transitividad como la posibilidad de «encadenar» relaciones; el cierre transitivo da todas las relaciones que se derivan por encadenamiento.

La transitividad es, por tanto, un concepto transversal que toma formas concretas según el área: en lingüística afecta la sintaxis y la valencia verbal; en lógica y matemáticas define estructura y razonamiento; y en informática condiciona algoritmos y modelos de datos.