Jeste se k tomu vratim, s timhle se asi musi souhlasit, protoze pro kazdou neprazdnou mnozinu v R existuje supremum (presnou definici mam v sesite v praze ) a ciselne obory Q, I, Z a N jsou vybrane mnoziny z R a tudiz kazda podmnozina Q,I,Z,N je podmnozina R a ma supremum. Existence infima je dana existenci suprema. (snad QED)MyS píše:No, ja si take myslim, ze sup/inf je pouzitelne na vsech ciselnych oborech, ale jen na R je definovane na KAZDOU neprazdnou podmnozinu, coz se o jinych rict neda. Jinak by me ale osobne celkem zajimala odpoved na JVovu b) otazku...vite nekdo?
Ale ciselny obor C je nadmnozina (hezky nazev ) R a proto v ni axiom o supremu nemusi obecne platit (proste to je jina vec). IMHO plati pouze "na realne ose"... ale protoze v mnozine komplexnich cisel obecne neni zavedena operace porovnani dvou prvku co do velikosti tak asi nebude ani to slavne supremum...