Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

Stránky: 1

 

#1 01. 01. 2010 22:56

awm1
Příspěvky: 51
Reputace:   0 
 

Erdős–Szekeres theorem

Ahoj,

nevíte někdo náhodou o nějakém srozumitelném důkazu Erdős–Szekeresova lemmatu? (zkráceně – Každá posloupnost reálných čísel urč. délky má podposloupnost urč. délky monotónní.) Dívám se na anglickou Wiki a nějak to nemůžu pochopit...

Díky.

V.

Ruská ruleta: sudo [ $[ $RANDOM % 6 ] == 0 ] && rm -rf /

Moje stránky - http://www.klimesv.php5.cz

Offline

 

#2 01. 01. 2010 23:45

Stýv
Vrchní cenzor
Příspěvky: 5693
Reputace:   215 
Web
 

Re: Erdős–Szekeres theorem

ten "Proof by the Pigeonhole principle" mi přijde celkem srozumitelnej... co ti neni jasný?

Offline

 

#3 02. 01. 2010 12:19

awm1
Příspěvky: 51
Reputace:   0 
 

Re: Erdős–Szekeres theorem

Je mi celkem jasná první část důkazu přes holubník, ale z textu příliš nechápu, proč by dvě čísla z řady nemohly mít stejnou dvojici (ai, bi).

Ruská ruleta: sudo [ $[ $RANDOM % 6 ] == 0 ] && rm -rf /

Moje stránky - http://www.klimesv.php5.cz

Offline

 

#4 02. 01. 2010 13:56

Stýv
Vrchní cenzor
Příspěvky: 5693
Reputace:   215 
Web
 

Re: Erdős–Szekeres theorem

když je $k<l$ a $n_k\leq n_l$, tak tu nejdelší rostoucí posloupnost končící $n_k$ můžeš prodloužit o $n_l$, takže $a_k<a_l$, obdobně pro $n_k\geq n_l$ bude $b_k<b_l$. a jedna z těchhle možností určitě nastane

Offline

 

#5 02. 01. 2010 15:05

awm1
Příspěvky: 51
Reputace:   0 
 

Re: Erdős–Szekeres theorem

Aha, už jsem to pobral. Díky.

Ruská ruleta: sudo [ $[ $RANDOM % 6 ] == 0 ] && rm -rf /

Moje stránky - http://www.klimesv.php5.cz

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson