Ejercicio · ZW-BUEN-ORDEN-001 · ★☆☆ Básico
¿Cuál de las siguientes afirmaciones describe un conjunto bien ordenado?
Elige una opción.
Ver respuesta
- C. Todo subconjunto no vacío tiene un primer elemento.
Explicación
El buen orden exige un mínimo en cada subconjunto no vacío; tener máximo o ser finito no lo define, y el primer elemento de \(\mathbb{N}\) no tiene predecesor.
Repasa el concepto: Buen orden
Un conjunto \(A\) está bien ordenado por \(<\) si \(<\) es un orden total en \(A\) y todo subconjunto no vacío de \(A\) tiene un elemento mínimo.
\[\forall S\subseteq A(S\ne\varnothing\Rightarrow\exists m\in S\forall s\in S\,m\le s)\]
Más ejercicios de buen orden
- ZW-BUEN-ORDEN-002 ¿Está ℤ bien ordenado por el orden usual?
- ZW-BUEN-ORDEN-003 ¿Cuál de estos conjuntos está bien ordenado por el orden usual de ℝ?
- ZW-BUEN-ORDEN-004 Si A está bien ordenado y B⊆ A es no vacío, ¿qué se cumple?
- ZW-BUEN-ORDEN-005 Sea A=\2,5,7\ con el orden usual. ¿Cuál es su mínimo y por qué A está bien ordenado?
- ZW-BUEN-ORDEN-006 ¿Es el conjunto \x∈ℚ : x>0\ bien ordenado por el orden usual?
- ZW-BUEN-ORDEN-007 Sea B=\n∈ℕ : n^2>20\ con el orden usual. ¿Cuál es su mínimo?
- ZW-BUEN-ORDEN-008 ¿Cuál de estos subconjuntos de ℤ tiene mínimo?
- ZW-BUEN-ORDEN-009 Sea A un conjunto bien ordenado y f:A→ A tal que f(a)<a para todo a∈ A. ¿Qué se concluye?