verificazione
verificazióne [Der. del part. pass. verificatus di verificare (→ verifica)] [LSF] Atto ed effetto del verificare; l'effetto è propr. la verifica, ma questo termine è oggi inteso come sinon. [...] : principio di carattere epistemologico che, nella versione corrente, asserisce che un enunciato ha significato seesoloseè verificabile e che tale significato coincide con la procedura messa in atto per verificarlo (v. epistemologia: II ...
Leggi Tutto
spazio normale
spazio normale spazio topologico X che soddisfa il seguente assioma di → separazione: per ogni coppia di chiusi C1 e C2 disgiunti, esiste una coppia di aperti A1 e A2 disgiunti tali che [...] contiene C2. Uno spazio topologico X è uno spazio normale seesolose ogni applicazione continua da un sottoinsieme chiuso di X nell’intervallo unitario ha un ampliamento continuo con campo di variabilità compreso nell’intervallo unitario (teorema ...
Leggi Tutto
Riemann-Dini, teorema di
Riemann-Dini, teorema di in analisi, stabilisce che una serie convergente è incondizionatamente convergente seesoloseè assolutamente convergente. Una serie numerica si dice [...] segni alternati
converge per il criterio di → Leibniz e ha somma S = ln2, ma non converge assolutamente. Si può verificare che se si prendono in modo alternato due termini positivi e uno negativo (nell’ordine in cui originariamente si susseguivano ...
Leggi Tutto
identita, principio di
identità, principio di (per polinomi) stabilisce che due polinomi a coefficienti in un anello A sono identici quando definiscono la stessa funzione polinomiale. Due polinomi a [...] coefficienti reali in una indeterminata x sono identici seesolose hanno rispettivamente uguali i coefficienti di xi, per ogni i. Tale principio rimane vero anche in Z[x], Q[x], C[x] e in ogni anello dei polinomi a coefficienti in un dominio d’ ...
Leggi Tutto
combinazione lineare
combinazione lineare in algebra, per n elementi e1, e2, ..., en, espressione del tipo k1e1 + k2e2 + ... + knen dove k1, k2, ..., kn, detti coefficienti, sono elementi di un corpo [...] nullo è quella con tutti i coefficienti nulli, linearmente dipendenti in caso contrario. La dipendenza lineare di vettori segnala un particolare legame geometrico: due vettori in Rn sono per esempio linearmente dipendenti seesolose sono paralleli ...
Leggi Tutto
Carmichael, numero di
Carmichael, numero di in teoria dei numeri, numero intero positivo composto n che, per ogni intero positivo a, soddisfa la relazione an ≡ a (modn) (si legga: an congruo a modulo [...] test venga usato per dimostrare la primalità di un numero (→ Fermat, test di). Un numero n è un numero di Carmichael seesoloseè privo di fattori quadratici ese, per ogni suo divisore primo p, il numero p − 1 divide n − 1 (criterio di Korselt ...
Leggi Tutto
Riesz-Fischer, teorema di
Riesz-Fischer, teorema di stabilisce che se H è uno spazio di Hilbert e X = {xa} (con a ∈ A, essendo A un insieme di indici) un sistema ortonormale (cioè ortogonale e di norma [...] tale che la chiusura del sottospazio generato da tutti gli elementi del sistema esaurisce H) ese {ca} è una successione generalizzata, allora la serie
converge a y ∈ H seesolose ca ∈ l 2 (→ spazio l 2). In questo caso il prodotto scalare tra y ...
Leggi Tutto
Uryson, lemma di
Uryson, lemma di o teorema di Uryson, stabilisce che uno spazio topologico X è uno spazio normale seesolose, dati due insiemi chiusi disgiunti C1 e C2 in X, esiste una funzione continua [...] 1 su C1, ƒ(x) = 0 su C2. Formalmente, il lemma di Uryson può essere formulato nel modo che segue. Per uno spazio topologico X sono fatti equivalenti:
a) se C è un qualsiasi chiuso non vuoto di X, ogni intorno U di C contiene un intorno chiuso di C;
b ...
Leggi Tutto
geometrico
geomètrico [agg. (pl.m. -ci) Der. di geometria "attinente alla geometria, che si serve della geometria"] Distribuzione g.: v. probabilità classica: IV 585 c. ◆ Progressione g.: quella dei [...] in progressione geometrica con ragione r; converge a a/(1-r) seesolose r<1. ◆ Struttura g.: di uno spazio metrico o : quelle che interessano la g. elementare, quali le traslazioni e le simmetrie. ◆ Vincolo g.: lo stesso che vincolo olonomo ...
Leggi Tutto
piano metrico
piano metrico spazio metrico di dimensione 2. È un insieme X in cui è definita una metrica, cioè una funzione d: X × X → R che a ogni coppia di punti A, B ∈ X associa un numero reale d(A, [...] B) detto distanza tale che ∀A, B, C ∈ X si ha:
• d(A, B) ≥ 0 e d(A, B) = 0 seesolose A = B
• d(A, B) = d(B, A)
• d(A, B) + d(B, C) ≥ d(A, C)
(disuguaglianza triangolare).
Come ogni spazio metrico, il piano metrico può essere dotato della struttura ...
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...