$\exists$ come predicato

Messaggioda DavideGenova » 23/08/2014, 08:09

Ciao, amici! $\exists$ è un quantificatore, non una lettera predicativa.
Mi è capitato però di trovare scritto cose del tipo "$f$ si dice analitica quando \(\exists f'(z)\quad\forall z\in G\)" a proposito di funzioni definite in un aperto $G\in \mathbb{C}$.
Usi di questo genere sono da considerarsi di poco rigore o sono perfettamente lecite?
Come si scrive in simboli logici una proposizione "$A$ esiste", come si dice che $A$ è un elemento del'universo di interpretazione considerato?
$\infty$ grazie a tutti!
Ultima modifica di DavideGenova il 23/08/2014, 10:35, modificato 1 volta in totale.
"Le dimostrazioni rendono bella la matematica e danno significato alla vita di un matematico" Choe Jaigyoung
Avatar utente
DavideGenova
Cannot live without
Cannot live without
 
Messaggio: 1783 di 4978
Iscritto il: 19/06/2010, 08:47
Località: sul fondo dell'Oceano Ligure-Piemontese

Re: $\exists$

Messaggioda vict85 » 23/08/2014, 10:20

Scrivere titolo con sole formule rende più difficile selezionare la discussione.

Detto questo è lecito in generale perché il concetto è chiaro. Se tu sei un logico potresti invece preferire la scrittura esplicita \(\forall z,\ \exists y,\ y=f'(z)\) (eventualmente segnando gli insiemi). Ma se stai facendo un corso di analisi la prima scrittura direi che non crea alcun problema.
vict85
Moderatore
Moderatore
 
Messaggio: 6727 di 19253
Iscritto il: 16/01/2008, 00:13
Località: Berlin

Re: $\exists$ come predicato

Messaggioda DavideGenova » 23/08/2014, 10:37

Interessante (e pratico perché utile abbreviazione per note e appunti). Emendato il titolo.
$\infty$ grazie!
"Le dimostrazioni rendono bella la matematica e danno significato alla vita di un matematico" Choe Jaigyoung
Avatar utente
DavideGenova
Cannot live without
Cannot live without
 
Messaggio: 1784 di 4978
Iscritto il: 19/06/2010, 08:47
Località: sul fondo dell'Oceano Ligure-Piemontese


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite