Velordnet mengde

Her kan du stille spørsmål vedrørende problemer og oppgaver i matematikk på høyskolenivå. Alle som har kunnskapen er velkommen med et svar. Men, ikke forvent at admin i matematikk.net er spesielt aktive her.

Velordnet mengde

Innlegg Gjest » 07/11-2018 18:03

Hei, har følgende spørsmål:

La $A$ være velordnet. Anta at $f:A\rightarrow A$ er strengt voksende. Vis at for hver $x\in A$ har vi $f(x)\geq x$.

Jeg tenker at en god metode for å løse denne er med et motsigelsesbevis hvor vi antar $f(x)<x$, for så å anta at $x'$ er minste element i $A$ slik at $f(x')<x'$ og får noe slikt: $x'<x\implies f(x')<f(x)$, men sliter litt med å komme noen vei derfra.
Gjest offline

Re: Velordnet mengde

Innlegg DennisChristensen » 08/11-2018 08:32

Gjest skrev:Hei, har følgende spørsmål:

La $A$ være velordnet. Anta at $f:A\rightarrow A$ er strengt voksende. Vis at for hver $x\in A$ har vi $f(x)\geq x$.

Jeg tenker at en god metode for å løse denne er med et motsigelsesbevis hvor vi antar $f(x)<x$, for så å anta at $x'$ er minste element i $A$ slik at $f(x')<x'$ og får noe slikt: $x'<x\implies f(x')<f(x)$, men sliter litt med å komme noen vei derfra.


Anta at det finnes $x\in A$ slik at $f(x) < x$. Ettersom $f$ er strengt voksende får vi da også at $f^2(x) = f(f(x)) < f(x) < x$, og ved induksjon, at $f^n(x) < f^{n-1}(x) < \dots < f(x) < x,$ så mengden $\{f^n(x)\mid n \in \mathbb{N}\}$ er ikke tom, men har ikke noe minimalt element, en selvmotsigelse.
DennisChristensen offline
Fermat
Fermat
Innlegg: 750
Registrert: 09/02-2015 23:28
Bosted: Oslo

Re: Velordnet mengde

Innlegg Gjest » 08/11-2018 10:42

Tusen takk for godt svar. Var innom en liknende tanke, men gikk ikke videre med den.
Gjest offline

Hvem er i forumet

Brukere som leser i dette forumet: Ingen registrerte brukere og 4 gjester