esterno
estèrno [agg. Der. del lat. externus, da exter o exterus "che sta fuori"] [ALG] Angolo e.: per un poligono, ogni angolo adiacente a un angolo interno, cioè formato da un lato e dal prolungamento [...] stessa; è tale, per es., la proprietà di una curva di essere o no annodata. ◆ [ALG] Punto e.: relativ. a un sottoinsieme I, ogni punto per il quale sia possibile trovare un intorno composto da punti non appartenenti a I. ◆ [OTT] Riflessione e.: si ...
Leggi Tutto
equivalenza
equivalènza [Der. di equivalente] [ALG] Ogni relazione binaria tra coppie di elementi di un dato insieme che verifichi le tre proprietà formali riflessiva, simmetrica, transitiva; in partic., [...] : IV 814 a. ◆ [ALG] Classe di e.: dato un insieme I e definita in esso una relazione di e. R, è la classe A (sottoinsieme di I), costituita dagli elementi di I equivalenti a un certo elemento a∈I; ovviamente, anche qualunque altro elemento di A può ...
Leggi Tutto
popolazione
popolazióne [Der. del lat. populatio -onis, da populus "popolo"] [LSF] Insieme di enti aventi elementi in comune che li qualificano in un determinato modo; per es., costituiscono una p. gli [...] di una variabile aleatoria; le proprietà di una P. possono essere stimate a partire da un suo conveniente sottoinsieme, detto campione di popolazione. ◆ [ASF] P. stellare: quella costituita dalle stelle di una galassia che hanno certe caratteristiche ...
Leggi Tutto
vuoto
vuòto [agg. e s.m. Der del lat. volgare vocitus, dal part. pass. vacitus di vacere "vuotare", quindi con la stessa radice del lat. class. vacuus] [LSF] Rigorosamente, assenza assoluta di materia [...] v. Casimir, effetto: I 511 b. ◆ [ALG] Insieme v., o nullo: l'insieme privo di elementi (simb. Ø oppure /\ ), che è sottoinsieme di ogni possibile insieme e anche intersezione di due insiemi privi di elementi comuni. ◆ [MCQ] Polarizzazione del v.: v ...
Leggi Tutto
vettoriale
vettoriale [agg. Der. di vettore "inerente a vettori"] [ANM] Analisi, o calcolo, v.: la parte della matematica che s'occupa degli algoritmi con i quali si opera sui vettori (a questi si applicano, [...] vl, ..., vr sono indipendenti se klvl+...+ krvr=0 solo quando kl=...=kr=0). Sottospazio V' di V è l'insieme degli elementi di V ottenuto partendo da un sottoinsieme M⊂V e formando tutte le combinazioni lineari a coefficienti in K di elementi di M. Un ...
Leggi Tutto
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] o, equivalentemente, "una formula è una conseguenza di un insieme M di enunciati se e solo se è conseguenza di un sottoinsieme finito di M". Corollario: "una teoria T ha un m. se e solo se tutte le sottoteorie finitamente assiomatizzabili di T hanno ...
Leggi Tutto
punto fisso
Luca Tomassini
Un punto x di un insieme X tale che F(x)=x per una determinata mappa F:X→X, ovvero di X in sé. Un tale punto si dirà anche punto fisso per F. La dimostrazione dell’esistenza [...] generalità è costituito dal teorema di punto fisso di Brouwer. In questo caso X è un disco (o un qualunque sottoinsieme chiuso e limitato del piano) e per la mappa F è richiesta la semplice continuità.
→ Equazioni differenziali: problemi non lineari ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] numeri reali definibili con un numero finito di parole della lingua italiana. D è numerabile perché è certamente finito il suo sottoinsieme Dk (k = 1, 2, 3, …) costituito da tutti i numeri reali definibili con k parole. D può, allora, essere ordinato ...
Leggi Tutto
orbita
òrbita [Der. del lat. orbita "traccia di una ruota", da orbis "linea tonda"][LSF] Generic., la traiettoria che un corpo descrive intorno a un altro e specific., la traiettoria di un corpo puntiforme [...] essere un'o. di parcheggio, anch'essa provvisoria: v. astronautica: I 205 e. ◆ [ALG] O. di un gruppo: l'insieme o il sottoinsieme degli elementi trasformati di un insieme su cui operi un gruppo: v. invarianti, teoria degli: III 283 e. ◆ [FSP] Orbita ...
Leggi Tutto
Nel linguaggio scientifico, in presenza di fenomeni casuali (o aleatori), p. di un evento è il numero, compreso fra 0 e 1, che esprime il grado di possibilità che l’evento si verifichi, intendendo che [...] Rényi si riduce a quello di Kolmogorov. Nel modello probabilistico classico lo spazio degli eventi è rappresentato da un insieme S, gli eventi da sottoinsiemi di S, e le p. da una funzione P che a un evento A associa un numero P(A) in modo tale che ...
Leggi Tutto
sottoinsieme
sottoinsième (o sottinsième) s. m. [comp. di sott(o)- e insieme (nel sign. 2)]. – Ciascuno degli insiemi minori in cui un insieme è o può essere suddiviso: i varî s. di un insieme di dati, di elementi statistici; il prato è un...
complementare
agg. [der. di complemento, sull’esempio del fr. complémentaire]. – 1. a. Che serve di complemento, cioè di completamento, di integrazione: disposizioni c. di una legge; corsi c. di lingue straniere; giorni c., i 5 giorni (6 negli...