Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Sede Medellı́n
Fundamentos de Matemáticas, Cod 3006824, Semestre I, 2013
Profesor: Fernando A Morales J
Tercer Parcial, Junio 2013
July 9, 2013
ZN def
g·h=
= {g : N → Z | g es una función} . j=1
Sugerencia. Las relaciones modulares pueden (iii) [5pts] Definimos en X la relación ARB si y solo si
servirle en su demostración. A ⊆ B. Trace el grafo de la relación.
(ii) [10pt] Demuestre la partición y las constantes
halladas en (i) no son únicas, es decir, ex- (iv) [10pts] Definimos en X la relación ARB si y solo
iste otra partición {B1 , B2 , . . . , B` } de N y si A ) B. Trace el grafo de la relación.
1
Problema 0.3. Medida. Sea la familia de conjuntos Problema 0.4. Familias de Funciones. Considere la
N N
G = {F ⊆ N : F es un subconjunto finito}; sobre G aplicación ` : {1, −1} → {1, −1} donde la sucesión
def
definimos las siguientes funciones ` ζ : N → {1, −1} viene definida por la siguiente regla
n
µ : G → Z,
def
X
(−1)`+1 . def
Y
µ(F ) = (` ζ)(n) = ζ(` ) = ζ(1) · ζ(2) · . . . · ζ(n)
`∈F `=1
ν : G → Z,
(i) [10pts]Demuestre que ` : {1, −1}N → {1, −1}N
def
ν(F ) = #{` ∈ F : ` ≡ 1 mod 2}.
λ : G → Z,
def
es una función bien definida, i.e. que para todo ζ en
{1, −1}N la sucesión `ζ pertenece a {1, −1}N .
λ(F ) = #{` ∈ F : ` ≡ 0 mod 2}.
Sean F, G ∈ G dados.
(ii) [10pts] Pruebe que `(ζ ·Y) ≡ ` ζ ·` Y para todo
(i) [10pts] Demuestre que si F ∩ G = ∅ entonces ζ, Y ∈ {1, −1}N
(iii) [10pts] Pruebe que ` : {1, −1}N → {1, −1}N es
sobreyectiva, i.e. para todo Y ∈ {1, −1}N existe
µ(F ∪ G) = µ(F ) + µ(G).
(ii) [10pts] ¿Se puede garantizar la propiedad de mono- ζ ∈ {1, −1}N tal que ` ζ = Y.
tonı́a F ⊆ G implica µ(F ) ≤ µ(G)? Demuéstrelo o Sugerencia. La sucesión ζ ∈ {1, −1}N debe ser
provea un contraejemplo. construida paso a paso. Conociendo la sucesión
(Y (n))n ∈ N comience por hallar el valor necesario
(iii) [10pts] ¿Se puede garantizar la propiedad de mono- de ζ(1) y ζ(2). Luego, en función a éstos primeros,
tonı́a F ⊆ G implica µ(F ) ≤ µ(G)? Demuéstrelo o generalice a ζ(n) para todo n ∈ N.
provea un contraejemplo.
(iv) [10pts] Proceda como en (ii) para probar que ` es
(iv) [10pts] Demuestre que µ = ν − λ. inyectiva.