Fundamentos de Matemáticas

Parcial 3

1. Sea (A, ≼) un poset tal que todo subconjunto no vacio acotado

inferiormente X ⊆ A tiene ı́nfimo. Muestre que entonces todo
subconjunto no vacio Y ⊆ A acotado superiormente tiene supre-
mo.

2. Encuentre un ejemplo de una función f : A → B tal que para

algún conjunto X ⊆ A se tenga X ! f −1 (f (X)).

3. Sean f : A → B, g : B → C. Si g ◦ f : A → C es una biyección,

necesariamente f y g son biyecciones? (Justifique su respuesta)

4. Sean a, b ∈ R, muestre que los conjuntos (a, b) y [a, b] tienen el

mismo cardinal.

1
Dem : a partir de la definieron ,
sabemos que a- EA es una cota
superior de Y si y EY a a- y .

sea Y un
subconjunto no vacro de A acotado superiormente
y sea G un subconjunto no ✓ acto de A definido como

{ glg EY , lty EY } , entonces ltg E G , g CA

y g es cota

superior de Y según la definieron de cota superior ,

A su vez se tiene que tye Y se cumpe que ysag ¡ltg EG .

y según eso todos los elementos de G Son cotas superiores de Y

Y todos los elementos de Y son cotas inferiores de G COMO
.

G
habíamos definido qu es un subconjunto no vacro de A
decir GEA sabemos 6
es que , por hipótesis que tiene

ínfimo .

según la definición de imprimo 9 EA es

infmo de
,
XEA Si :

1 a es cota inferior de ×

2 atb ¡ tb sea cota inferior de ×

que
Tambien por la definición de supremo se tiene que
de ✗ es aquel EA :
el
Supremo EA ,
a
que cumple
1 9 es cota superior de ×

2 9 tb ltb sea cota de ×

que superior .

tenemos que todos los elementos de Y son cotas inferiores

de G Y dado G tiene infsmo entonces 7- j E Y
que
ZY EY
que es el Infimo de G
,
esto
significa que ¡ , lty

Como ÍEY 97 's V9 EG , Por esto ,

es
menor que todas
,
las cotas de Y Al mismo tiempo ¡ EY
superiores .

cumple JZY ,
K
y
E Y , entonces J es una cota superior de Y .

Por definición de supremo , ¡ EY cumple

la las condiciones
definidas para qu
sea supremo de Y Finalmente se .

concluye que Y tiene supremo .

☐
 f :[ -1,1 ] [ 0,1 ] tal que
>
fonsidere la función
FCX) =
✗
2
para todo XE [ -1,1 ] .
Sea ✗ =
{ 1}
,
así

la bajo f- X El # 1=11 } ,
imagen directa de es

de de FIX )
sin
embargo la
imagen inversa bajo =

f- es
f- YFCX ) ) =
{ -1,1 } puesto que f- C- 11=1 = FIN j

de esto se puede concluir que

✗ G- lfcx ) )
'
F-

'
Pues -

VEX pero
-
TE f- IFCXI
 Pregunta 3

falso Justificación :
.

Considere las punciones :

9 : [ 0,2 ] > [ 0,1 ] ,

K : [ 0,1 ] > [
0,2 ]
✗ > x2

{
✗ 1 5 VE si XE [0,1 ]

x-P Si ✗ E ( 4,27

Por ende la función gof :[ 0,1 ] -7 [ 0,1 ] está

dada por LGOK ) (X ) =

glfcx) )
=
91×7=5×2--1×1 =
×

Para ✗ E [ 0,4 ] ,
es decir ,
Sof =
IDCO , y ] ,
es decir ,

una
bryeccron . Sin
embargo ,
F no es sobreyectiva
pues Ran / f) =
[ 0,1 ]
y g no es
inyectiva

Porque 9111=1--9121 .
Dem :
sean 9, b E IR Veamos que la / b) [ qb ] tienen
y
el mismo Cardenal .
En primer lugar , tenemos que
:

•
( a
/
b) ~
( 0,17 :
la recta f :

y
=
( b- a) ✗ + a
para ✗ E 10,11 nos permite concluir que la / b) y 10,11
frenen la misma cardinalidad
pues toda función
lineal en un Intervalo es
biyectiva ya que
:

-
inyectrvrdad : si × , Xz El 0,1 ) y × ,
< X
,
entonces

✗ < Xz
y
/ b- a) ✗
y
< ( b- a) ✗ a

( b- a) ✗ yta <
( b- a) Xzta

Flxy ) < KLXZI

luego f es inyectiva .

la / b)
:
-
Sobreyectrvidad sea y E
,
tome

✗ =
y a
como la / b) entonces a < b- a
Y y E y
-

,
b- a

luego 10,1 ) asi :

XE
,

FLXI =/ b- a)
( y
a)
a
+ y ata y
=
a =
_

b-

[ aib] 10,1 ) ( b- a) ✗
:
• ~
puesto que cuando f :y = ta
se frene la biyección entre [ 0,4 ] y [a / b]

Ahora ,
•

Considere F, :
10,11 →
[ 0,1 ] definido como Frirlx )=X ,

esta función es inyectiva , asi 10,11 I [0,1 ]

ahora sea
f , :[ 0,1 ] s 10,7 ) definida por
Fzlxl :( ZX +14 )
primero se tiene que si XE [ 0,1 ] entonces

O EX El

1-4-212×+14<-3-4
Así Ran ( fa ) E 10,11 ,
además que F, es
inyectiva
pues X, XL E [ 0,1 ] Fz ( ✗ a)
si , y =
Fzlx , )

:
entonces

OEXE 1

EZIXE f-
O

G- C-
Ex + ¡ E
?
asi ,
Ran lfz ) E 10,11 ,
ademas que fz es
inyectiva
si Xz E [ 0,1 ] y Fz lxs / F CX , )
pues ×, =
>

entonces :

÷ ×,
+14=21×2+14
f-
×
f-
=
✗
, a

✗y =
Xz

luego :
[ o
,
e ] E 10,1 ) ,
por el teorema de
Cantor -

Bernstein tenemos que :

la ,
b) ~
/ 0,1 ) ~
10,11 ~
[ 9,3 ]