0% acharam este documento útil (0 voto)
24 visualizações4 páginas1, Construcao Dos Numeros Inteiros - Hygino
Estudo
Enviado por
franciscoaugustofrancisco73Direitos autorais
© © All Rights Reserved
Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.
Formatos disponíveis
Baixe no formato PDF ou leia on-line no Scribd
0% acharam este documento útil (0 voto)
24 visualizações4 páginas1, Construcao Dos Numeros Inteiros - Hygino
Estudo
Enviado por
franciscoaugustofrancisco73Direitos autorais
© © All Rights Reserved
Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.
Formatos disponíveis
Baixe no formato PDF ou leia on-line no Scribd
/ 4
apa tt
. CONSTRUCGAO
LOGICO-FORMAL DO
CONJUNTO DOS
NUMEROS INTEIROS
1, Os numeros inteiros: construgso.
Cnn objetivo al € da uses maces oda a expec
do igo 2b, para quniguer a,b € IN, de mancra a poser trae eon
‘mes do mesmo connie tanto agueis como 73, 3—Te #0 quarto
‘rocks capo 37, 1 Se 0 ~ 2, po explo, Nene seni conver obs
server romero que abjcente ace "irene « ~ best pat ordead)
(4) €IN x IN. Alm dnl ver que, po exemple, igual em
re
gral, seajb, SED, a abe
equal 2547.09.43, De ura mane
Cd, vale mequivaenca
acbec-deeandnced
as onsen, lina no ato de que ocomuato do ition a er cone
Aru, deve ser ume amplingia” de IN jam a ener 9 eine Gut
TNoconjumto IN x IN cnsideremor¢reagSo ~ defnidh de eguinie
para qusnger (2, 8) «(6 d) ern IN» IN,
(4.8) Gd) eatdabse
Para arelagio © salem as propredaes
+ Retasze pos, coma para todo (6, BJEIN x IN, se eriiena + b= ba,
ene 8) ™ (oD
eee ee ee coe
+ Tre pois, (0,9) (, d) e(6, €)™ (Dy entiv at d= b+ ce
CPUs backtectttbee hath, > que
Impliea atdt feet dth © pone at feetb, on aie
Gey ea
Logo + um rela de equvaléaia em IN x IN, por coreg
‘e, determina ua porn nore conju am lots deepal, Pare
{Ste (2,8) € BV eeaemoe por (1) a cate de quan dete
‘ina por (a,b) EIN IN. Ani
{ey} EIN x BiIeuy) ~ Y=
See YI EIN x Niet by tah
CO conan quieted IN = IN por, ea conju de tds a le
Soar), pare qualquer (a 8) EIN WN, we nda jor 2. Ena
2-8* 3K (Ele. WEN x Np
Por exempta
BH= (e006,
ZH= (OUR;
5} = 10,440, 92.85.44
EB daro que: & B= (GA me (4b) ~ (dow ap dn doe
‘bm parcular vale 9 seguine: ue a 2b, euso (@ l= @=b, 0) pow
ston@abrb ee ba, endo (bya G boty una ws gue
@~aeb+0. Asim, we (@ HEL, ens G H=G 0) m
(ErB)~ 0-0), par algam c€ IN, Fes mani de repcmntare cleo
DE coice poe, porenemple, @0)= (dena s Onde Oe dal
end
1.1 Adigao em Z
Consierenos a nireros natura eS exrior ob a forma: = 9 =
Sa hbo (t= D40-Ha G47 C+ taney
‘eva aud enter eli eguit
DEFINIGAO 1 sejum 9» (& 0) ¢ = EA lees quasquee
eZ. Crammer de mcm ne inicn por 4, elena de Ze
io por
maa GFERFH
Suponkamoe m= GB) ~ rb) ew = GD = Gas ents
mana @re bed) ¢ mana Ta Fa, b Pa). Como pore
GON bea) (oud emloatbyabt acct dad en
© que rena (emando membo 4 membre ins igualdader (24) ©
+etaye Fane asedorare+ Gy +a)= (ed) ere)
169 Donde @FEUFD = GFE FA Loge loco dada por
(2) tats
Game aplicarto deZ » Z em Ze potanto & uma operas whre ZA en
perio chao adi a2.
Sr nao em 2 vale a seine propredaes
Asie
De to, tem = (eB), = her = Tso menos ged de Z,
nto
(ote) ten @FSBES + = (@FIFEOTIE=
< OPES ETE “BO HEF ReF
=BHH(CGI+EH)=msioty
5 Cmte sa 4+ =n #1, Yn €Z, Bari
2 Bite sat a: x clase (0, De no, pare qualquer} EZ:
BB+ O- GFT ETH
E dixie que ED= TO), pare todo
De, Oh quer jutieads no item 2
od 2 = (0) EZ ane spa (série sv}. Ou ses, para oto
EZ exite m EZ de modo que m+ m= O. Unremon 3 nas:
‘Como
BB+ Ea GFR SF ~0
tio: m= (BS > =m = (a
emaguemor sina led coudenms em
Defio:in wm +0ame[e4 (9) =(m4) + e0=
FOF t enamel roni=nt0=n.
1.2 Subtragao em Z
Pars cad parce lementonm, a ©, cham diferenga ete mie «|
indice porm =n 0 elemento m+ (=n) ©. Ou
mone ea)
Aen, pt quem — 8 2, notre mam mm € Zac dade
ee @
urn aplicagodeZ x Z em Z — ou eo, 6 uma cperasbo wre ZA em
‘percha devrninaros abe Z, Ete oper, contac, nS0 6 ma
=, nem combative ctarpouc adie elemento net. Sugernce no el-
tor veiear eos fn
1.3 Muitiplicagéo em Z
‘Uma muncce pousn prétien de mulipcar ce mimeros naturale
gegodet= 10 Geena s sguinte
8.462): (0=a (1082-5) ~(5 642-10) 62— S012
Contd, parr da fn ma el entender
DEFINIGAO 2 sj m ~ GBjen = a eemens geo de
2Z.Chama ne rut dem porn eindca spor mn (our "n)oemena do.
ini por:
n= SF MFR
Se_m= GW = Bye a= EW = Ey entio
mma = GEFBE ad Fhe) eam = Gye FE, ad, be). Mas como
Gd) ~ GbE s) © (e,d)yenos sb absaceta ads,
Bat obemos: CG +b) eth 4a), afe+d) =a, +e) dora) =
age +b) «bate = B{e 4). Deenvavenda eae podtor e de
Polssamande membre aembvo a plas obeday, etn guia can
‘himenie posses, resard
Ge ba) oud, + ie) = Get ad) + (mer + Bd
ep er sito por
eo iii gua ragto
(o.9) +0
uma elias de Z x Z em Ze, prio, una operas sobre . Tate
‘obviate da malipcpis een Z, da qual dewacames se propldades ©
seri.
i, Asie met) = (ne, para qusiquer m,n, ¥ Z. Bae.
‘my Cotta
De ao, sem = Blea = Ga) slo cements quaisqucr de, eno
n= GFR T DS = FEET Eom 1m, Exe dea aso: € cane (1, 0,2 al ndicaremon apenas por (8
Jstenve pars esa simples srt vina no em 2), ple
VRHEZ = TD B= (Ce FO ET BHO AEH
adalat oat Sem, 9 € Ze t¥n = O,entiom = Dou =
‘Como jf ebaeramosanterormente, todo clement eZ ae se ere
tena nivocament ac uma de aguits ferns. (60) >=), pore
Algom x € IN, Vanoe mpor, por carpe, m= (@ Dyen = (6B) Ee
tie por hipsere, mn = (0, a5) = (0, 0) Dal 0+ 0=ab + O.auab =O
{en I), o qe igen a # Dou b= 0, Donde m=0 04 0 = 0. Onde
tale cane presenta nenhuma novia
4 Divas Para quanquer ma, 2, FEZ, m+ (ete) = (mente
Enero
‘ conuono 7 mundo da opera nous través da denies
162 mae ela de orem a irda no em epnt,¢ charals
exe dot sine ro, Eo cementon Se , moa conde, So crams
(ose
1.4 Relagao de ordem em Z
Sem€z, entom = @Tjoum=
ve freon
TD-0
Goy=4
Ba OF--3
torn. iid cocever
Ba bou-%
Fagamon|0, 41,42, ..} = 2 eB, “1, 0) ~ Za, Or ementondeZ,
fe dann ince fons 04 de’ Zins miner Tod elemento
EZ, = (4, 42, 43, )€ chamado Inve mlamm pari; © td
ELE mf 8,2, ~1) um inti item pte
"Neteron que em €Z, (ou), eno =m € Z- (0
De ao, por exemple m = (0) go m EZ) esd =m = (0,3) (oe
cuemz.)
166
6041, 42,
DEFINICAO 3 Seiamm,» EZ. Dizse quem 6 nr gr igen
sc anotrse
Em pate Or, WEZ., polr™=O-tr es 0, VEZ, 1
sug wee (=) Tables 0s, para to FE ZY <0 para to
rez
gamut agora at propedader mais importantes a el
sotneZ
0, Rfle! mm, WEL, poumam $02 0EZ,
0, Amisindia: Vasoe spr mS a € 9-6. Bote m= n+ r, onde
cn Get}, ara algum a € IN, e nein fy, ome r,= (endo b
convene semente de IN. Eni
mantna(mtntiame(itrems GTi Ds
‘que implica, pla ldo caerlamento da cio
Bb 9-05)
Dain +b = O(em BN) ¢ portano a= b= 0, Donde r= y= Oem =
6) Triton: m én e aca = mé 4 (Fie como exerccla.)
menou nem
Vamos por m= (Ten = TET}. Sea < by endo b = 246, pare
algo e€ IN epoca
n= 60) FED =H + C= m4 ED)
que garante a elagiom < nS, 20 contra, corse B< a ent vale
(0 caso m = (acm = [07 pode ser encaminhao do meso modo,
Finalmente ja 9 ~ @,D}e n= (0,6) Eto
Y= RFD =O + Esha ne aT H
de oe gues 6m,
"Uma coneqidaca dan conideragde anteriores & que: m EZ. &
nex, omen
9% Cpa com 6 aie: Sem & a, entbo m +p 0, prove que a p
