vettore
vettóre [agg. m. e s.m. (per il f. → vettrice) Der. del lat. vector -oris "conducente, portatore", dal part. pass. vectus di vehere "condurre, portare"] [ALG] Ente che permette di descrivere [...] insiemi di funzioni, ecc.) ha condotto a uno studio sempre più astratto e generale delle proprietà algebriche dei v., e ha portato alla formulazione generale della nozione di spazio vettoriale (→ vettoriale: Spazio v.). Lo sviluppo della teoriadegli ...
Leggi Tutto
insiemeinsième [Der. del lat. insemel, forma corrotta di insimul, comp. di in- e simul "insieme"] [ALG] Secondo la definizione di G. Cantor, ogni raccolta (aggregato, famiglia) di enti distinti, detti [...] elementi o termini dell'insieme. Siccome tale definizione "ingenua" può dare luogo a paradossi, sono state costruite teorie assiomatiche che danno definizioni "critiche" (v. oltre: Teoriadegli i.). Un i. può essere rappresentato scrivendo tra ...
Leggi Tutto
immagine
immàgine [Der. del lat. imago -ginis] [LSF] (a) Concret., forma esteriore degli oggetti corporei, qual è percepita dalla vista (i. visiva od ottica). (b) Ancora concret., la forma di oggetti [...] , di un dato elemento di B l'insieme dei punti di A che hanno tale elemento come i., e analogamente per la controimmagine di un sottoinsieme qualunque di B. ◆ [ALG] I. di uno strato: v. invarianti, teoriadegli: III 284 e, f. ◆ [EMG] I. elettrica ...
Leggi Tutto
operatore
operatóre [Der. del lat. operator -oris "che compie operazioni" (→ operazione)] [ALG] [ANM] Ente che determina un'operazione da eseguirsi su un altro ente, quindi simb. di un'operazione o, [...] IV 298 e. ◆ [ALG] O. differenziali invarianti: v. invarianti, teoriadegli: III 286 d. ◆ [ANM] O. dissipativo: v. semigruppo: ove Tλ-1 esiste sono i punti regolari, e l'insieme complementare all'insieme dei punti regolari è lo spettro dell'o. A. ◆ ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'emergere della concezione strutturale in algebra
Leo Corry
L'emergere della concezione strutturale in algebra
Il punto di vista strutturale [...] funzione sono concepite. In questo caso egli non considera un insieme arbitrario per introdurvi una relazione d'ordine definita in modo Hilbert cita in questo contesto molti risultati della teoriadegli ideali di Dedekind e non descrive mai un anello ...
Leggi Tutto
peso
péso [Der. del lat. pe(n)sum "la quantità della lana da filare assegnata per ogni giorno alle schiave domestiche presso gli antichi Romani", da pendere "pesare (con rifer. al pendere del giogo della [...] dei p. di tutti gli elementi vale uno. Nella teoria classica della probabilità, quantità definita per ogni evento e avere un significato interessante; ciò avviene nei casi degliinsiemi statistici della meccanica statistica, ove il p. statistico ...
Leggi Tutto
rappresentazione
rappresentazióne [Der. del lat. repraesentatio -onis, dal part. pass. repraesentatus del lat. repraesentare "rappresentare", comp. di re- "di nuovo" e praesentare "presentare"] [ALG] [...] : v. algebre di operatori: I 93 f. ◆ [MCQ] L'insiemedegli stati base con cui si possono costruire tutti gli altri stati relativi al sistema in esame. ◆ [ALG] R. aggiunta: v. invarianti, teoriadegli: III 285 f. ◆ [ANM] R. analitica: di una curva ...
Leggi Tutto
Categoricità
Silvio Bozzi
Concetto introdotto nel 1905 dal matematico Oscar Veblen e oggi al centro di gran parte dell’attuale teoria dei modelli. In termini generali, una teoria T formulata in un qualsiasi [...] TEn della geometria euclidea n-dimensionale formulate in L sono categoriche.
Un risultato analogo vale per la teoria del secondo ordine ZF degliinsiemi una volta che ci si limiti a modelli transitivi di data altezza. La situazione cambia se 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., [...] della: VI 176 e. ◆ [MCS] E. degliinsiemi canonico e microcanonico: v. insieme statistico: III 215 b. ◆ [RGR] E. come rappresentante del fascio di rette a essa parallelo: v. gauge, teoria di: II 846 b. ◆ [FAF] Principi di e.: proposizioni ...
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 [...] di una base. Notiamo che l’elemento essenziale della definizione di somma diretta è l’esistenza di un elemento neutro negli insiemi Aα. Per questa ragione la somma diretta può essere introdotta anche nel caso di anelli.
→ Invarianti, teoriadegli ...
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...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...