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

#1 04. 11. 2018 13:29

hello_1
Příspěvky: 38
Reputace:   
 

Supremum množiny

Opäť zdravím!

Zapíšte ako kvantifikovaný výrok: //forum.matweb.cz/upload3/img/2018-11/34462_postupnos%25C5%25A5.png, 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

  • (téma jako vyřešené označil(a) hello_1)

#2 04. 11. 2018 13:48

krakonoš
Příspěvky: 1162
Reputace:   34 
 

Re: Supremum množiny

↑ 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


tg(x) je funkcí života.Jednou jsi nahoře🗽, podruhé zas dole 🗿.

Offline

 

#3 04. 11. 2018 15:56

hello_1
Příspěvky: 38
Reputace:   
 

Re: Supremum množiny

↑ 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

 

#4 04. 11. 2018 16:03

laszky
Příspěvky: 2363
Škola: MFF UK, FJFI CVUT
Reputace:   195 
 

Re: Supremum množiny

↑ krakonoš:

Ahoj, tvoji definici muze vyhovovat vice $a$. Nemelo by tam byt jeste neco o tom, ze vybiras to nejmensi z nich? ;-)

Offline

 

#5 04. 11. 2018 16:05

hello_1
Příspěvky: 38
Reputace:   
 

Re: Supremum množiny

↑ laszky:
Zapíšte ako kvantifikované výroky - zadanie je iba toto, nič viac :/

Offline

 

#6 04. 11. 2018 16:26

vlado_bb
Moderátor
Příspěvky: 6215
Škola:
Reputace:   143 
 

Re: Supremum množiny

↑ hello_1: Predpokladám, že vieš čo je to supremum množiny. Tu ide o množinu všetkých hodnôt postupnosti.

Offline

 

#7 04. 11. 2018 16:33

hello_1
Příspěvky: 38
Reputace:   
 

Re: Supremum množiny

Ospravedlňujem sa za názov, malo tam byť samozrejme Supremum postupnosti.

Offline

 

#8 04. 11. 2018 16:35

vlado_bb
Moderátor
Příspěvky: 6215
Škola:
Reputace:   143 
 

Re: Supremum množiny

↑ 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

 

#9 04. 11. 2018 16:55 — Editoval krakonoš (04. 11. 2018 17:04)

krakonoš
Příspěvky: 1162
Reputace:   34 
 

Re: Supremum množiny

↑ laszky:Jedine tam pridat,ze pro vsechna b,ktera rovnez splnuji tuto podminku a jsou hornim odhadem  mnoziny zaroven plati a je rovno nebo mensi b.


tg(x) je funkcí života.Jednou jsi nahoře🗽, podruhé zas dole 🗿.

Offline

 

#10 04. 11. 2018 17:10

hello_1
Příspěvky: 38
Reputace:   
 

Re: Supremum množiny

//forum.matweb.cz/upload3/img/2018-11/47802_lol.png

inak už neviem čo s tým robiť

Offline

 

#11 04. 11. 2018 17:17 — Editoval vlado_bb (04. 11. 2018 17:23)

vlado_bb
Moderátor
Příspěvky: 6215
Škola:
Reputace:   143 
 

Re: Supremum množiny

↑ hello_1: V prvom rade tomu musis rozumiet, zapis uz potom bude hracka. Teraz si zapisal nieco take ako keby $a$ malo byt hornym ohranicenim danej postupnosti.  Navyse, zapis “ pre vsetky $a_n \in R$ vyzera ako keby $a_n$ mohlo byt LUBOVOLNE realne cislo, co nie je, ta postupnost je dana a neobsahuje vsetky realne cisla.

Offline

 

#12 04. 11. 2018 18:35

Aspro1
Příspěvky: 181
Reputace:   
 

Re: Supremum množiny

↑ 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 $a$ 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ž $a$ je v porovnání s některým členem posloupnosti menší.

Offline

 

#13 04. 11. 2018 19:21

hello_1
Příspěvky: 38
Reputace:   
 

Re: Supremum množiny

↑ Aspro1:

//forum.matweb.cz/upload3/img/2018-11/55675_postupnos%25C5%25A51.png

Myslíš takto?

Offline

 

#14 04. 11. 2018 19:48

hello_1
Příspěvky: 38
Reputace:   
 

Re: Supremum množiny

A zase blbosť, "a" nemusí byť prirodzené číslo, takže nie "a-1"..

Offline

 

#15 04. 11. 2018 19:49 — Editoval Aspro1 (04. 11. 2018 20:10)

Aspro1
Příspěvky: 181
Reputace:   
 

Re: Supremum množiny

↑ hello_1: To je zase nějaký chaos.

1) Levá strana ekvivalence něco tvrdí o nějakém $a$, což může být číslo nebo $+\infty$. Pravá strana by také měla předpokládat, že $a$ už máme, takže by ho neměla zavádět pomocí kvantifikátoru.

2) Podmínka $a \ge a - 1$ platí pro každé $a$, to není nic významného.

Napiš prostě $(\forall n \in \mathbb{N}) a_n \le a$. To je však jen jedna podmínka ze dvou. Výrok $\text{sup } a_n = a$ nebo přesněji $\text{sup } \{a_n | n \in \mathbb{N}\} = a$ je ekvivalentní konjunkci dvou podmínek. Tu první podmínku už máme a ta druhá musí říkat, že pro každé číslo $b < a$ se najde nějaký člen posloupnosti, který je větší než číslo $b$, jedině tak je $a$ tou nejmenší horní závorou množiny všech členů posloupnosti, žádné menší číslo $b$ už její horní závorou není.

Offline

 

#16 04. 11. 2018 20:08

vlado_bb
Moderátor
Příspěvky: 6215
Škola:
Reputace:   143 
 

Re: Supremum množiny

↑ 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

 

#17 04. 11. 2018 20:44

vanok
Příspěvky: 14457
Reputace:   741 
 

Re: Supremum množiny

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 $\Bbb R$).


Srdecne Vanok
The respect, the politeness are essential qualities...and also the willingness.
Do not judge the other one.
Ak odpovedam na nejaku otazku. MOJ PRINCIP NIE JE DAT ODPOVED ALE UKAZAT AKO SA K ODPOVEDI DOSTAT

Offline

 

#18 05. 11. 2018 19:18

hello_1
Příspěvky: 38
Reputace:   
 

Re: Supremum množiny

↑ 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 //forum.matweb.cz/upload3/img/2018-11/41636_a.png a stanovil podmienky //forum.matweb.cz/upload3/img/2018-11/41705_postupnos%25C5%25A5.png (len neviem, či je potrebné zapísať, do akej množiny čísel patrí "b" & //forum.matweb.cz/upload3/img/2018-11/41753_a.png, no to sa myslím nedá).

Offline

 

#19 05. 11. 2018 21:06

Aspro1
Příspěvky: 181
Reputace:   
 

Re: Supremum množiny

↑ hello_1:Číslo $b$ bych nenazýval jiným supremem, protože supremem naší množiny je $a$. Je třeba zapsat, z jaké množiny je číslo $b$ nebo jakou podmínku splňuje, zapsal bych tu příslušnou závorku takto:

$(\forall b < a)$

Jenom pro taková čísla $b$ platí to, co se tvrdí potom, takže bych psal tu podmínku $b < a$ 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 $n \in \mathbb{N}$ takový, že člen posloupnosti s tímto indexem něco splňuje. Není nutné to komplikovat zápisem ve stylu $(\exists a_0 \in \{a_n | n \in \mathbb{N}\})$. Pro členy posloupnosti máme značení $a_n$, nepotřebujeme pro ně hledat ještě další značení, navíc symbol $a_0$ vypadá jako nultý člen posloupnosti, ne jako obecně některý z členů posloupnosti.

Offline

 

#20 06. 11. 2018 10:36 — Editoval Rumburak (06. 11. 2018 10:37)

Rumburak
Místo: Praha
Příspěvky: 8691
Reputace:   502 
 

Re: Supremum množiny

Že číslo $s$ (konečné nebo $+\infty$) je supremem posloupnosti $(a_n)$ reáných čísel znamená, že
Pro každou hodnotu indexu $n$  je $a_n \le s$, při čemž $s$ 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 $x < s$?

Offline

 

#21 06. 11. 2018 12:09

hello_1
Příspěvky: 38
Reputace:   
 

Re: Supremum množiny

↑ Rumburak:
//forum.matweb.cz/upload3/img/2018-11/02513_postupnos%25C5%25A5.png

To som zapísal vyššie, iba s inými písmenami. :)

Offline

 

#22 06. 11. 2018 12:12 — Editoval vlado_bb (06. 11. 2018 12:40)

vlado_bb
Moderátor
Příspěvky: 6215
Škola:
Reputace:   143 
 

Re: Supremum množiny

↑ 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 $1 \le 100$. Dalej - ak $x<100$, tax existuje $t>x$, napriklad $t=100000$.

Druhy raz opakujem to iste - som presvedceny, ze kym nepochopis, co je supremum, nema absolutne nijaky zmysel pokusat sa o nejake formalne zapisy.

Offline

 

#23 06. 11. 2018 12:40

Rumburak
Místo: Praha
Příspěvky: 8691
Reputace:   502 
 

Re: Supremum množiny

↑ hello_1:
Ještě bych to vylepšil na

     $\sup_{n \in N} a_n = s  \Leftrightarrow  \(\forall_{n \in N} (a_n \le s)  \wedge  \forall_{x<s}\exists_{n \in N} (a_n > x )\)$ ,

pedant by si ještě pohrál se závorkami.

Offline

 

#24 07. 11. 2018 22:01

hello_1
Příspěvky: 38
Reputace:   
 

Re: Supremum množiny

↑ vlado_bb:
A ja teraz píšem prvý raz, že tvoja ironická poznámka ma absolútne nezaujíma.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson