Considere a relação de ordem da divisibilidade em N. Quais dos seguintes subconjuntos de N são totalmente ordenados? 3,5,15.

Passo 1

Ok, vamos lá! A questão está falando sobre relações de ordem na matemática, especificamente a divisibilidade nos números naturais N. O que precisamos descobrir é se o conjunto 3, 5, 15 é totalmente ordenado sob essa relação. Em outras palavras, queremos saber se, para qualquer par de números nesse conjunto, um deles sempre divide o outro sem deixar resto.

Passo 2

Primeiro, vamos entender o que significa relações de ordem e totalmente ordenado. Uma relação de ordem em um conjunto é uma maneira de comparar os elementos desse conjunto seguindo certas regras. No caso da divisibilidade, dizemos que um número a está relacionado a um número b ( a <= b) se a divide b, ou seja, se existe um número inteiro k tal que b = a times k.
Um conjunto é totalmente ordenado se, para qualquer dois elementos nesse conjunto, um é sempre “menor” ou “igual” ao outro segundo a relação de ordem definida. Aplicando isso à divisibilidade, queremos ver se, para qualquer par de números no conjunto, um deles divide o outro.

Passo 3

Vamos analisar os elementos do conjunto 3, 5, 15 dois a dois:
  1. 3 e 5: Será que 3 divide 5? Não, porque não existe um inteiro k tal que 5 = 3 times k. E 5 divide 3 também? Não, pelo mesmo motivo. Portanto, 3 e 5 não estão relacionados pela divisibilidade.
  2. 3 e 15: Será que 3 divide 15? Sim, porque 15 = 3 times 5. Portanto, 3 está relacionado a 15.
  3. 5 e 15: Será que 5 divide 15? Sim, porque 15 = 5 times 3. Portanto, 5 está relacionado a 15.

Passo 4

Observamos que nem todos os pares de elementos no conjunto estão relacionados pela divisibilidade. Especificamente, 3 e 5 não se relacionam. Para um conjunto ser totalmente ordenado sob a relação de divisibilidade, todos os pares devem estar relacionados.

Resposta

O conjunto 3, 5, 15 não é totalmente ordenado sob a relação de divisibilidade em N.

Exercícios relacionados