dominio a fattorizzazione unica
Luca Tomassini
Sia S un dominio d’integrità con unità, ovvero un anello commutativo con unità tale che se a≠0 e b≠0 (con a,b∈S) allora ab≠0 . Due elementi c,d di S si [...] ≠0 è invertibile o uguale al prodotto di un numero finito di elementi ;irriducibili di S; (b) la decomposizione polinomi sul campo F nelle variabili x1 e x2. Consideriamo ora l’insieme R[x1,x2] dei polinomi nelle variabili x1, x2 a coefficienti ...
Leggi Tutto
Markov Andrej Andreevic senior
Markov 〈màrkëf〉 Andrej Andreevič senior [STF] (Rjazan 1856 - Pietrogrado 1922) Prof. di matematica nell'univ. di Pietroburgo (1886). ◆ [PRB] Catena di M.: processo stocastico [...] tempo discreto in cui lo spazio degli stati è costituito da un insieme discreto e in cui la probabilità di trovare il sistema in non decomponibili è sempre possibile, se lo spazio degli stati è finito, definire le quantità limT→∞(1/(T+1)) Σt=Tt=0 Pij ...
Leggi Tutto
aritmetica di Presburger
Luca Tomassini
Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] si paga un prezzo molto alto: esso è sostituito da un insieme infinito di assiomi, uno per ciascuna proprietà P. La caratteristica ‘assiomi di induzione’ di cui sopra con un numero finito di altri assiomi ottenendo una teoria con gli stessi identici ...
Leggi Tutto
ramo
ramo [Der. del lat. ramus] [LSF] Termine usato nel linguaggio scientifico con signif. mutuati dall'immagine propria del r. delle piante. ◆ [ALG] R. cuspidale: v. curve e superfici: II 76 b. ◆ [ANM] [...] in modo tale che ci sia corrispondenza biunivoca tra i punti dell'insieme e i valori del parametro t; si chiama ordine del r. Ogni punto della curva in questione è origine di un numero finito di r., la cui struttura è univocamente determinata. Così, ...
Leggi Tutto
somma diretta
Luca Tomassini
Sia {Aα,α∈I} una famiglia di insiemi indicizzata dall’insieme I e sia πΑ∈I Aα il prodotto diretto (o cartesiano) dei suoi elementi Aα. Un elemento di πΑ∈I Aα è allora un’applicazione [...] algebra o anello, il loro prodotto diretto la eredita in modo naturale. Se l’insieme degli indici I ha un numero finito n di elementi, il prodotto diretto si identifica con l’insieme delle n-uple ordinate di elementi degli (x1,...,xn) con xi=Ai. Sul ...
Leggi Tutto
lunula
lùnula [Lat. lunula, dim. di luna "Luna"] [LSF] In genere, nome di figure, oggetti o parti di oggetti, in forma di luna falcata. ◆ [ALG] La regione piana limitata da due archi circolari di raggio [...] due tipi di l. quadrabili furono trovati da J. Clausen (1840). Non si sa se questi cinque tipi esauriscano o no l'insieme delle l. quadrabili elementarmente. Tuttavia, nel 1903 E. Landau ha dimostrato che il numero dei tipi di l. quadrabili con mezzi ...
Leggi Tutto
teorema di compattezza
Silvio Bozzi
Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] teoria T ha un modello se ne ha uno ogni sua parte finita. Il teorema vale per i linguaggi elementari di qualunque cardinalità dei linguaggi si generalizzi il concetto di finito a quello di elemento di un insieme ammissibile. Come provato da Jerome ...
Leggi Tutto
convergente
convergènte [agg. e s.m. Der. del part. pres. convergens -entis del lat. convergere "tendere insieme verso un medesimo luogo", comp. di cum "insieme" e vergere "volgersi", e quindi "che si [...] le due distanze focali positive e, se immerso in un mezzo otticamente omogeneo, uguali: v. sistemi ottici: V 310 e. ◆ [ANM] Successione c., variabile c., funzione c.: successione, variabile ordinata e una funzione di essa, che ammetta limite finito. ...
Leggi Tutto
limitato
limitato [agg. Der. del part. pass. limitatus "circoscritto, ristretto entro certi limiti" del lat. limitare, da limes -itis "limite"] [ANM] Funzione l.: nozione analoga a quella di insieme [...] sono tutti contenuti in una sfera; generalizzando, è un insieme di uno spazio metrico che sia tutto contenuto in una sfera in quella metrica; si dice pure che l'insieme considerato giace al finito. ◆ [ANM] Misura l.: v. misura e integrazione: IV 2 ...
Leggi Tutto
calcolabilità
Fabrizio Luccio
La teoria che studia la possibilità di calcolare una funzione dagli interi sugli interi mediante un modello astratto di computazione come per es. la macchina di Turing. [...] interi) mentre le funzioni appartengono a un insieme non numerabile: questo implica che devono esistere funzioni ingresso un altro algoritmo A arbitrario e dati arbitrari D per esso, stabilisca in tempo finito se il calcolo di A su D termina in tempo ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
finito
agg. [part. pass. di finire]. – 1. a. Giunto o condotto a termine, compiuto: arrivare a spettacolo f.; sono ormai due anni f. che ha lasciato il paese. Frequente nell’uso fam. la locuz. farla finita (con la indeterminato), smettere...