Scribd
Cargar
44 vistas3 páginas

Tarea 8

El documento presenta tres ejercicios matemáticos. El primero trata sobre la biyección entre conjuntos de números, el segundo sobre la cardinalidad del intervalo (a,b] y el tercero sobre la enumerabilidad de los números racionales.

Cargado por

Elias Sinticala
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
44 vistas3 páginas

Tarea 8

El documento presenta tres ejercicios matemáticos. El primero trata sobre la biyección entre conjuntos de números, el segundo sobre la cardinalidad del intervalo (a,b] y el tercero sobre la enumerabilidad de los números racionales.

Cargado por

Elias Sinticala
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

Ejercicio 1.

Sea E  {1,3,5, 7,...} conjunto de los números impares ¿Es biyectiva la aplicación f : N ⟶ E definida por
f ( x )=2 x−1?¿ N E?
Solución

f :N ⟶E
x ⟶ f ( x )=2 x−1
Inyectividad f

∀ x1 , x 2 ∈ N : f ( x 1)=f ( x 2)
2 x1 −1=2 x2 −1

⟹ x1 =x2

∴ f es inyectiva

Sobreyectividad f

∀ b ∈ E , ∃a ∈ N : f (a)=b

b+1 b+1 b+1


∀ b ∈ E , ∃a=
2
∈ N : f ( a )=f
2 ( ) ( )
=2
2
−1=b

⟹ x1 =x2

∴ f es sobreyectiva
Como f es biyectiva, N E.

Ejercicio 2.

Demostrar que el intervalo ( a , b ] tiene la potencia del continua, es decir tiene Cardinalidad c.

Solución

Definimos f : ( 0,1 ] → ( a ,b ]

x → f ( x )=a+ ( b−a ) x

Definimos g : ( a , b ] → ( 0,1 ]

x−a
x → g ( x) =
b−a
1°

a+ ( b−a ) x−a
( g ∘ f )( x )=g ( f ( x ) ) =g ( a+ ( b−a ) x )= =x ⟹ g ∘ f =I (0,1 ]
b−a
2°

( f ∘ g )( x )=f ( g ( x ) ) =f ( x−a
b−a ) =a+( b−a)(
x−a
b−a )
= x ⟹ f ∘ g=I ( a ,b ]

3° Transitividad

Como ya lo hemos demostrado anteriormente [0,1] ¿, y ahora por lo demostrado recientemente ( 0,1 ] ( a , b ],
podemos hacer una transitividad, obteniendo [0,1] ¿,

Luego el cardinal ( a , b ] =c .

Ejercicio 3.

Demostrar que el conjunto de los números racionales Q es enumerable.


Solución

Sea φ : N ⟶ Q+ ¿¿0 }¿¿ definimos la diagonal de Cauchy,

{1 12 13 14 51 16 17 18 19 101 }=A 1

{21 32 24 25 26 72 28 29 102 }=A 2

{3 32 1 34 35 36 37 38 39 103 }=A 3

{4 2 43 1 45 46 47 48 49 104 }=A 4

{5 52 53 54 1 56 57 58 59 105 }=A 5

{6 62 63 64 65 1 67 68 69 106 }= A 6

{7 72 73 74 75 76 1 78 79 107 }= A 7

{8 82 38 84 58 86 87 1 89 108 }= A 8

{9 92 93 94 95 96 97 98 1 109 }= A 9

{10 102 103 104 105 106 107 108 109 1}= A 10

Elementos de la unión de ∪α A α

1 1 10
{
∪α A α = 1,2 , , , … , ,1
2 3 9 }
N ⟷ ∪α A α
1 23 … 99 100

1 10
12 … 1
2 9

Sea ϕ :Q +¿ ¿0 }⟶Q ¿¿ definida por,

ϕ ( n ) =φ(n)

{ϕ (−n ) =−φ( n)
ϕ ( 0 ) =0

⟹
φ : N ⟶ Q+ ¿\{ 0}¿ es enumerable

ϕ :Q+¿ ¿0 }⟶Q ¿¿ es enumerable

⟹ ϕ ∘ φ: N ⟶ Q es enumerable por la propiedad 4


( La unión de cualquier familia de conjuntos enumerables es enumerable)
∴ Qes enumerable

También podría gustarte