parallelismo, criteri di
parallelismo, criteri di condizioni che permettono di stabilire il parallelismo tra due rette, tra una retta e un piano o tra due piani. L’esempio più semplice riguarda il parallelismo [...] invece assegnate mediante le equazioni parametriche
esse risultano parallele seesolose risulta
Nello spazio tridimensionale due rette sono parallele seesolose, indicati con [l1 m1 n1] e [l2 m2 n2] i rispettivi parametri direttori, il rango ...
Leggi Tutto
logica aletica
logica aletica (dal greco alétheia, «verità») particolare → logica modale, che non si limita, come la logica classica, a determinare se una proposizione è vera o falsa, ma si spinge a [...] C». I due operatori ☐ e ◊ sono correlati dalla equivalenza logica: ☐P ⇔ ￢◊￢P («è necessario P seesolose non è possibile non P»). Analoga alla formula precedente è l’equivalenza: ◊P ⇔ ￢☐￢P («è possibile P seesolose non è necessario non P»). ...
Leggi Tutto
Dedekind, dominio di
Dedekind, dominio di o anello di Dedekind, particolare struttura algebrica costituita da un dominio d’integrità A (cioè un anello commutativo unitario privo di divisori dello zero) [...] (cioè ogni suo ideale è finitamente generato);
• A è integralmente chiuso;
• ogni ideale primo non nullo di A è massimale.
In modo equivalente, un dominio di integrità A è un dominio di Dedekind seesoloseè noetheriano e, per ogni ideale massimale ...
Leggi Tutto
olomorfia
olomorfia in analisi, proprietà di una funzione complessa di variabile complessa definita su un aperto Ω ⊆ C consistente nel fatto che per ogni punto z0 di Ω esiste una serie di potenze di [...] punto z interno al cerchio di convergenza è uguale al valore ƒ(z). Una funzione è olomorfa in Ω seesolose ammette derivata complessa in ogni punto di Ω. Il termine olomorfia è quindi sinonimo di analiticità e si usa in locuzioni come «dominio di ...
Leggi Tutto
chiusura
chiusura [Der. del lat. clausura, dal part. pass. clausus di claudere "chiudere", "atto ed effetto del chiudere" e anche "ciò con cui si chiude"] [ALG] C. algebrica: v. varietà algebrica: VI [...] con A. ◆ [ALG] C. di uno spazio topologico: è definita dai relativi assiomi di c. (v. oltre). ◆ [ c. di uno spazio topologico; dato un insieme A e denotata con [A] la sua c. si ha che: (a) A⊂[A] e A=[A] seesolose A è chiuso; (b) [A⋃B]=[A]⋃[B]; (c ...
Leggi Tutto
parte intera
parte intera di un numero reale x è il numero intero, indicato con il simbolo [x] che meglio approssima x per difetto: esso è pertanto il massimo intero n che soddisfa la disuguaglianza [...] sottraendo 1. La parte intera ha le seguenti proprietà:
• [x] ≤ x < [x] + 1
• = [x]
• [x] = x seesolose x è un numero intero
• [x + k] = [x] + k, per ogni intero k
In analogia alla parte intera, si definisce anche la parte intera superiore di ...
Leggi Tutto
norma
nòrma [Lat. norma "squadra"] [LSF] Regola, modo di procedere stabilito o conveniente per una determinata categoria di problemi. ◆ [ALG] Applicazione da uno spazio vettoriale X all'insieme dei numeri [...] seguenti: (a) ||x||≥0 ∀x∈X, ||x||=0 seesolose x=0; (b) ||λx||=|λ| ||x|| per ogni scalare λ; (c) ||x+y||≤||x||+||y|| ∀x, y∈X. Il numero ||x|| è detto n. dell'elemento x. Il concetto di n. è una generalizzazione dell'idea di modulo, o lunghezza di ...
Leggi Tutto
Sylvester, teorema di
Sylvester, teorema di o teorema di inerzia, in algebra lineare, stabilisce che l’indice di positività (vale a dire il numero di autovalori positivi) e l’indice di negatività (vale [...] quadratiche: due forme quadratiche definite su uno spazio vettoriale reale di dimensione finita sono congruenti seesolose hanno lo stesso rango e la stessa segnatura, mentre due forme quadratiche definite su uno spazio vettoriale complesso di ...
Leggi Tutto
Schwarz Karl Hermann Amandus
Schwarz 〈švarz〉 Karl Hermann Amandus [STF] (Hermsdorf, Slesia, 1843 - Berlino 1921) Prof. nelle univ. di Halle (1867), Zurigo (1869), Gottinga (1875), Berlino (1892). ◆ [ANM] [...] Allora il prodotto f(P)✄g(P) è sommabile in E, e si ha: ∫E|f| |g|dv≤(∫E|f|λdv)1/λ✄ (∫E|g|μdv)1/μ, ove dv è l'elemento di volume. Il segno di uguaglianza sussiste seesolose esistono due costanti a e b, non entrambe nulle, per cui sia a|f|λ=b|g|μ in ...
Leggi Tutto
annullamento del prodotto, legge di
annullamento del prodotto, legge di proprietà dei numeri reali per la quale, se il prodotto di due numeri è nullo, allora uno dei due fattori è necessariamente uguale [...] elementi di A tali che ab = 0, allora vale necessariamente a = 0 oppure b = 0. In un anello A è soddisfatta tale legge seesolose A è privo di divisori dello zero, nel qual caso esso viene detto anello di integrità. Tale legge vale in ogni campo ...
Leggi Tutto
se
sé pron. rifl. [lat. sē] (radd. sint.). – 1. Forma forte della declinazione del pron. rifl. di 3a pers.; si usa soltanto quand’è riferito al soggetto (maschile o femminile, singolare o plurale) o nelle frasi enunciate con verbo all’infinito...
se2
se2 cong. [lat. tardo se(d), incrocio di sī con quid «che cosa»] (radd. sint.). – 1. Con valore condizionale, ipotetico: a. Posto che, ammesso che, dandosi il caso che, e sim.; introduce proposizioni che esprimono una condizione, quelle...