Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] Il ricordo di una situazione è infatti registrato unicamente nello stato assunto dall'automa, e poiché l'insieme degli stati è finito il numero di situazioni memorizzabili è anch'esso finito. Si accresce la potenza del modello ammettendo che l'automa ...
Leggi Tutto
infinito
infinito [agg. e s.m. Der. del lat. infinitus, comp. di in- neg. e del part. pass. finitus di finire "limitare", da finis "confine"] [LSF] Oltre che nei signif. matematici (per i quali v. oltre), [...] al limite, cioè come numerosità o potenza di un insieme: rientrano in questo concetto l'i. numerabile (cioè la potenza dell'insieme dei numeri naturali), l'i. continuo (la potenza del-l'insieme dei numeri reali, dei punti di una retta, ecc.). ◆ [ANM ...
Leggi Tutto
teoria della misura
Luca Tomassini
Una misura è una funzione non negativa sui sottoinsiemi di uno spazio soddisfacente la proprietà di completa additività: la misura di un’unione numerabile di insiemi [...] di uno spazio arbitrario X chiusa rispetto alle unioni numerabili e all’operazione di complementazione (il complementare Ac B che soddisfi: (a) 0≤m(E)≤+∞, m(∅)=0 (E∈B, ∅ indica l’insieme vuoto); En∈B (n=1,2,...) e Ei∩Ej=∅ (ifij) implicano
(completa ...
Leggi Tutto
topologia
Luca Tomassini
Convergenza e continuità, così come le operazioni algebriche sui numeri reali e complessi, sono nozioni fondamentali nell’analisi matematica classica. La loro generalizzazione [...] e O2 appartengono a F, allora anche O1∩O2 appartiene a F; (c) se Oλ appartiene a F (λ in Δ, insieme di indici non necessariamente numerabile), allora Uλ∈Δ appartiene a F. Una struttura topologica (o più brevemente una topologia) su uno spazio X è un ...
Leggi Tutto
insiemi parzialmente ordinati
Luca Tomassini
Un insieme (o spazio) A sul quale sia definito un ordine parziale ≤, spesso detto anche poset. Un ordine parziale è una relazione binaria che soddisfa le [...] parzialmente ordinato ha anche permesso di generalizzare il concetto di successione a elementi indicizzati da insiemi non numerabili e non solo dagli interi ℕ e dunque la nozione di convergenza a spazi topologici generali.
→ Combinatoria; Equazioni ...
Leggi Tutto
potenza
potènza [Der. del lat. potentia, dall'agg. potens -entis "potente", part. pres. di posse "potere"] [LSF] (a) Generic., capacità di produrre grandi effetti. (b) Specific., l'energia che viene [...] reali, indicata con i simb. א₁ ("aleph uno") e 2א0 ("due alla aleph zero"). ◆ [MCS] P. del numerabile: la p. dell'insieme dei numeri naturali, indicata tradizionalmente con il simb. א₀ ("aleph zero"). ◆ [ELT] [INF] P. di calcolo: per un calcolatore ...
Leggi Tutto
sigma
sigma [Lat. sigma, gr. sígma] [LSF] La 18a lettera dell'alfabeto gr., corrispondente alla s lat.; la forma min. è σ, quella maiusc. Σ. ◆ [ALG] Σ è il simb. di una sommatoria o di una serie. ◆ [FSN] [...] a una σ-algebra. ◆ [ANM] Misura s.-finita (σ-finita): misura μ definita su uno spazio S, se S è un'unione numerabile di insiemi, ognuno dei quali è misurabile e ha una misura finita secondo μ. ◆ [FSN] Modello s.: v. simmetria, rottura spontanea di: V ...
Leggi Tutto
completezza
completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] I 478 e. ◆ [ANM] C. di un insieme di autofunzioni: un insieme di autofunzioni di un operatore H è detto completo se non contraddittoria ha un modello numerabile, cioè ha un modello il cui universo ha un'infinità numerabile di elementi. Si tratta ...
Leggi Tutto
Borel Felix-Edouard-Emile
Borel ⟨borèl⟩ Félix-Edouard-Émile [STF] (Saint-Affrique, Aveyron, 1871 - Parigi 1956) Prof. di matematica nell'univ. di Parigi (1909); socio straniero dei Lincei (1918). ◆ [ANM] [...] Campo di B.: dato uno spazio topologico e una famiglia M di insiemi in questo spazio, il più piccolo insieme di insiemi contenente M e chiuso rispetto alle operazioni di unione numerabile e di complemento. ◆ [ANM] Funzione e somma di B.: v. funzioni ...
Leggi Tutto
spazio separabile
Luca Tomassini
Un insieme A è detto di cardinalità numerabile se esso può essere posto in corrispondenza biunivoca con l’insieme dei numeri naturali positivi ℕ. Esempi di insieminumerabili [...] sono appunto gli interi positivi ℕ o i numeri razionali ℚ; un esempio di insieme di cardinalità non numerabile è quello dei numeri reali ℝ. Uno spazio topologico X, cioè un insieme X sul quale sia assegnata una topologia, è detto separabile se in ...
Leggi Tutto
numerabile
numeràbile agg. e s. m. [dal lat. numerabĭlis]. – Che può essere numerato, cioè distinto con numeri, oppure calcolato esattamente: ci darà la quantità esatta delle ore e minuti ..., se la frequenza fusse da noi n. (Galilei). In...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...