2 votos

Definición de Ted Sider de una relación total sobre un conjunto D

Estoy trabajando en el libro de Ted Sider "Lógica para la Filosofía", y estoy notando algunas discrepancias entre la definición de "Relación Total" que él utiliza y la definición utilizada en otros lugares, particularmente en Wikipedia.

La definición del libro de Sider: Una relación $\mathscr{R}$ es total (en un conjunto $\mathscr{D}$ ) si para cualquier $u,v\in \mathscr{D}$ , $\langle u,v \rangle \in \mathscr{R}$ .

La definición de la wikipedia (traducida a la notación de Sider): Una relación $\mathscr{R}$ es total (en un conjunto $\mathscr{D}$ ) si para cualquier $u,v\in \mathscr{D}$ , ya sea $\langle u,v \rangle \in \mathscr{R}$ o $\langle v,u \rangle \in \mathscr{R}$ .

Mi pregunta: ¿cuál de estas definiciones es más estándar? ¿O ambas definiciones se utilizan en contextos diferentes? Quizás, la definición de Sider es común en metalogía y la definición alternativa es común en matemáticas.

Otra nota: la definición de Sider no es la misma que la definición alternativa ya que la relación " $\leq$ " se calificaría como total sobre $\mathbb{R}$ por la definición alternativa, pero no se calificaría por la definición de Sider.

5voto

Johan Puntos 1

La segunda definición de "total" es más estándar, por lo que sé, tanto en matemáticas como en lógica. A menudo, nos preocupamos por estas relaciones totales en el contexto de los ordenamientos: si nuestra relación es un ordenamiento parcial (es decir, una relación reflexiva, antisimétrica y transitiva), entonces decir que la relación es total significa que también es un ordenamiento lineal (y por lo tanto se comporta como " $\leq$ " se comporta en los números).

La definición de Sider, tal y como la das, podría llamarse relación "trivial" o "universal", ya que contiene todos los pares ordenados sobre el dominio. A veces es un caso extremo importante para considerar en las pruebas (junto con la relación vacía o la relación de identidad).

0voto

Willemien Puntos 2422

Creo que es un error en el libro de Sider Supongo que quería escribir
" Una relación R es EQUIVALENTE (en un conjunto D) si para cualquier u,v∈D, ⟨u,v⟩∈R".

en la lógica modal (casi nunca) se escribe sobre relaciones totales

La definición de Wikipedia de una relación total es correcta
Por cierto, observe que, por ejemplo, la relación < no es total

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X