od HonzaK » 29. 5. 2010 13:20
To sice nemusi platit pro uplny kazdy retezec, ale plati to pro ten retezec, ktery se vytvori v tom dukazu (tak, ze definujes x_(n+1) = f(x_n)) a o to tam jde - neni nutne, aby to platilo pro libovolny retezec, ale staci, ze pro tenhle, protoze ty jen diky tomu najdes nejaky pevny bod f, ktery je potreba v tom dukazu najit.
To sice nemusi platit pro uplny kazdy retezec, ale plati to pro ten retezec, ktery se vytvori v tom dukazu (tak, ze definujes x_(n+1) = f(x_n)) a o to tam jde - neni nutne, aby to platilo pro libovolny retezec, ale staci, ze pro tenhle, protoze ty jen diky tomu najdes nejaky pevny bod f, ktery je potreba v tom dukazu najit.