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
Opäť zdravím!
Zapíšte ako kvantifikovaný výrok: , bolo zadanie príkladu.
S ostatnými som si vedel poradiť, ale s týmto neviem ani pohnúť. Pozeral som sa aj do mojich materiálov, ale nič, čo by mi pomohlo, som tam nenašiel.
Nemal by niekto nejaký nápad, ako to zapísať? Moc dík.
Offline
↑ hello_1: Ahoj.To je jen muj nazor.
Existuje takove a z rozsireneho oboru realnych cisel,ze pro vsechna n z N bude an mensi nebo rovno a
Offline
↑ krakonoš:
A nevedel by si aj prečo? Malo by to fungovať podobne ako u množín, ale stále na to neviem prísť.
Offline
↑ krakonoš:
Ahoj, tvoji definici muze vyhovovat vice . Nemelo by tam byt jeste neco o tom, ze vybiras to nejmensi z nich? ;-)
Offline
↑ hello_1: Predpokladám, že vieš čo je to supremum množiny. Tu ide o množinu všetkých hodnôt postupnosti.
Offline
↑ hello_1:Veď to je v poriadku. Pozri sa, čo je to supremum množiny a v tomto prípade nejde o nič iné iba o množinou všetkých prvkov postupnosti. A máš to.
Offline
↑ hello_1: V prvom rade tomu musis rozumiet, zapis uz potom bude hracka. Teraz si zapisal nieco take ako keby malo byt hornym ohranicenim danej postupnosti. Navyse, zapis “ pre vsetky vyzera ako keby mohlo byt LUBOVOLNE realne cislo, co nie je, ta postupnost je dana a neobsahuje vsetky realne cisla.
Offline
↑ hello_1: Na pravé straně dvojšipky (použité ve významu symbolu ekvivalence) jsi napsal nějaký chaos. Proč je tam ta první závorka s kvantifikátorem? Vynech ji, aby to dávalo smysl, to je první věc. Potom výrok na pravé straně dvojšipky bude říkat, že je horní závorou množiny všech členů posloupnosti, ale to ještě není ekvivalentní výroku nalevo. Je třeba ještě přidat podmínku, že se jedná o nejmenší horní závoru té množiny, což se dá vyjádřit tak, že kterékoli číslo menší než je v porovnání s některým členem posloupnosti menší.
Offline
↑ hello_1: To je zase nějaký chaos.
1) Levá strana ekvivalence něco tvrdí o nějakém , což může být číslo nebo . Pravá strana by také měla předpokládat, že už máme, takže by ho neměla zavádět pomocí kvantifikátoru.
2) Podmínka platí pro každé , to není nic významného.
Napiš prostě . To je však jen jedna podmínka ze dvou. Výrok nebo přesněji je ekvivalentní konjunkci dvou podmínek. Tu první podmínku už máme a ta druhá musí říkat, že pro každé číslo se najde nějaký člen posloupnosti, který je větší než číslo , jedině tak je tou nejmenší horní závorou množiny všech členů posloupnosti, žádné menší číslo už její horní závorou není.
Offline
↑ hello_1: Zatial by som navrhoval nechat tuto ulohu tak a vratit sa k nej o 3-4 dni. Kym nepochopis pojem supremum, nema zmysel pokusat sa uhadnut spravny formalny zapis.
Offline
Pozdravujem ↑ vlado_bb:,
Pripomeniem, ze je treba mat jasno z definiciami pojmov o ktorych rozmyslame.
Tak tu sa oplati asimilovat aspon toto
https://en.m.wikipedia.org/wiki/Infimum_and_supremum
( Rad by som vedel, co studenty by mali vediet a co vedia o ).
Offline
↑ Aspro1:
Moc dík, vďaka tvojmu vysvetleniu už mi je to zadanie konečne jasné. :) Lenže tu som ešte potreboval urobiť dve podmienky pre "b", teda že ak vezmem iné supremum tak nebude horným ohraničením pre všetky prvky, ale nájde sa aspoň jeden, pre ktorý to nebude vyhovovať. Označil som si to teda a stanovil podmienky (len neviem, či je potrebné zapísať, do akej množiny čísel patrí "b" & , no to sa myslím nedá).
Offline
↑ hello_1:Číslo bych nenazýval jiným supremem, protože supremem naší množiny je . Je třeba zapsat, z jaké množiny je číslo nebo jakou podmínku splňuje, zapsal bych tu příslušnou závorku takto:
Jenom pro taková čísla platí to, co se tvrdí potom, takže bych psal tu podmínku hned tady, ne na konci. Dále potřebujeme vyjádřit, že existuje nějaký člen posloupnosti, který něco splňuje. To vyjádříme tak, že existuje index takový, že člen posloupnosti s tímto indexem něco splňuje. Není nutné to komplikovat zápisem ve stylu . Pro členy posloupnosti máme značení , nepotřebujeme pro ně hledat ještě další značení, navíc symbol vypadá jako nultý člen posloupnosti, ne jako obecně některý z členů posloupnosti.
Offline
Že číslo (konečné nebo ) je supremem posloupnosti reáných čísel znamená, že
Pro každou hodnotu indexu je , při čemž je zároveň nejmenší číslo s touto vlastností.
To jsou dvě podmínky, z nichž první se vyjádří kvantifikátorem velmi snadno a u druhé podmínky
to také nebude těžké: co musí nastat, vezmeme-li ?
Offline
↑ hello_1:Dajme tomu, ze postupnost je konstantna a kazdy jej clen je 1. Ukazem, ze podla teba je 100 jej supremum. V prvom rade - kazdy jej clen je mensi alebo rovny 100, lebo . Dalej - ak , tax existuje , napriklad .
Druhy raz opakujem to iste - som presvedceny, ze kym nepochopis, co je supremum, nema absolutne nijaky zmysel pokusat sa o nejake formalne zapisy.
Offline
↑ hello_1:
Ještě bych to vylepšil na
,
pedant by si ještě pohrál se závorkami.
Offline
↑ vlado_bb:
A ja teraz píšem prvý raz, že tvoja ironická poznámka ma absolútne nezaujíma.
Offline