Def. di insieme limitato superiormente e di insieme che ammette estremo superiore!!

garnak.olegovitc1
Salve a tutti,
volevo più che altro una conferma su queste definizioni:

Def.: siano dati \( f \) una relazione di ordine in \( A \), ed \( B \subseteq A \), ove \( B \neq \emptyset \), dicesi che \( B \) è limitato superiormente se esiste almeno un \( a \in A \) tale che \( a \) è un maggiorante di \( B \)

Def.: siano dati \( f \) una relazione di ordine in \( A \), ed \( B \subseteq A \), ove \( B \neq \emptyset \) e \( B \) è limitato superiormente, dicesi che \( B \) ammette estremo superiore se esiste almeno un \( a \in A \) tale che \( a := sup(B) \)

Sono giuste?

Cordiali saluti

Risposte
maurer
La prima è giusta modulo la correttezza della definizione di maggiorante.

La seconda è tautologica: non stai definendo cos'è un estremo superiore, stai adottando una notazione per qualcosa che non hai ancora definito.

garnak.olegovitc1
Salve maurer,

"maurer":
La prima è giusta modulo la correttezza della definizione di maggiorante.

La seconda è tautologica: non stai definendo cos'è un estremo superiore, stai adottando una notazione per qualcosa che non hai ancora definito.


sisi scusami avrei dovuto dirlo che in ambedue si consideri nota la definizione di maggiorante e di estremo superiore!!
Facendo tali precisazioni vale lo stesso ciò che hai detto?

Cordiali saluti

maurer
Allora le tue definizioni sono corrette.

garnak.olegovitc1
Grazie maurer!! :wink:

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.