Dowód \ supremum

Podzielność. Reszty z dzielenia. Kongruencje. Systemy pozycyjne. Równania diofantyczne. Liczby pierwsze i względnie pierwsze. NWW i NWD.
Calias
Użytkownik
Użytkownik
Posty: 21
Rejestracja: 29 maja 2007, o 17:00
Płeć: Kobieta
Lokalizacja: Venus
Podziękował: 6 razy

Dowód \ supremum

Post autor: Calias »

Jak wykazać, że:
\(\displaystyle{ a=\sup E \Leftrightarrow ( \bigwedge e \in E, \ a \geqslant e) \wedge ( \bigwedge \varepsilon>0 \ \ \bigvee e E: \ a-\varepsilon}\)
figur
Użytkownik
Użytkownik
Posty: 21
Rejestracja: 11 gru 2007, o 21:29
Płeć: Mężczyzna
Lokalizacja: Kraków
Podziękował: 3 razy
Pomógł: 1 raz

Dowód \ supremum

Post autor: figur »

Z tego co sobie przypominam, to to, co jest zapisane, to jest właśnie definicja supremum, a definicji się nie dowodzi.
ODPOWIEDZ