ProPatria ha scritto:f è non degenere se $v in V$ t.c. $f(v,w)=0$ per ogni $w∈V => v=0$
Ma a me sembra esattamente quello che ho scritto
Io me medesimo ha scritto:Definizione (forma bilineare NON degenere):
C) f è non degenere se per ogni v∈V t.c. f(v,w)=0 per ogni w∈V => v=0
Io vorrei negare questa, per ottenere la definizione di degenere. E come dicevo mi sembra che la negazione sia:
f è degenere se esiste $v in V$ t.c. $f(v,w)=0$ per ogni $w∈V ∧ v!=0$
E non capisco come faccia a coincidere con
ProPatria ha scritto:questa proposizione puoi scriverla in due modi, cioè così
$EEv∈V$, $v!=0$, t.c. per ogni $w∈V$, $f(v,w)=0$
Oppure così
$EEv∈V$, $v!=0$, t.c. $w∈V => f(v,w)=0$
che sono nettamente diverse, essendoci di mezzo una implicazione che dalla negazione non ottengo.
Sono proprio ritardato
PS:
axpgn ha scritto:Io direi che la negazione di $P => Q$ è $P ^^ neg Q$
Sì, credo sia una svista!