23.11.2014 Views

Diskrete Matematiske Metoder - Institut for Matematiske Fag ...

Diskrete Matematiske Metoder - Institut for Matematiske Fag ...

Diskrete Matematiske Metoder - Institut for Matematiske Fag ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Kapitel 1<br />

Tal, især de hele tal<br />

I dette kapitel gennemgås nogle egenskaber ved de hele tal. Gennemgangen<br />

vil basere sig på en dagligdags <strong>for</strong>ståelse af tallene, sådan som den er opnået i<br />

skolen. Senere i bogen vil vi se mere kritisk på grundlaget <strong>for</strong> denne <strong>for</strong>ståelse.<br />

I dette kapitel 1 vil der blive givet beviser <strong>for</strong> de fleste sætninger. I de følgende<br />

kapitler vil vi mere systematisk diskutere <strong>for</strong>skellige bevistyper. Her vil vi bruge<br />

de hele tal som eksempelmateriale og bl.a. bevise nogle af de ubeviste sætninger<br />

i dette kapitel.<br />

1.1 Basale egenskaber<br />

Sætning 1 De reelle tal opfylder følgende basale regneregler (vi vender tilbage<br />

til navnene): For vilkårlige reelle tal x, y, z gælder:<br />

x + y = y + x. Den kommutative lov <strong>for</strong> addition (1.1)<br />

(x + y) + z = x + (y + z) . Den associative lov <strong>for</strong> addition (1.2)<br />

x + 0 = 0 + x = x. 0 er neutralt element <strong>for</strong> addition (1.3)<br />

x + (−x) = (−x) + x = 0. − x er den additivt inverse til x (1.4)<br />

xy = yx. Den kommutative lov <strong>for</strong> multiplikation (1.5)<br />

(xy)z = x(yz). Den associative lov <strong>for</strong> multiplikation (1.6)<br />

x · 1 = 1x = x. 1 er neutralt element <strong>for</strong> multiplikation (1.7)<br />

xx −1 = x −1 x = 1, når x ≠ 0. x −1 er multipl. invers til x (1.8)<br />

x(y + z) = xy + xz, (x + y)z = xz + yz. Den distributive lov (1.9)<br />

x ≤ x. ≤ er refleksiv (1.10)<br />

hvis x ≤ y og y ≤ z så er x ≤ z. ≤ er transitiv (1.11)<br />

hvis x ≤ y og y ≤ x så er x = y. ≤ er antisymmetrisk (1.12)<br />

hvis x ≤ y så er x + z ≤ y + z. ≤ harmonerer med + (1.13)<br />

hvis x ≤ y og 0 ≤ z så er xz ≤ yz. ≤ harmonerer med · (1.14)<br />

1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!