coordinate baricentriche
coordinate baricentriche particolare tipo di coordinate omogenee definite a partire da un simplesso; possono essere definite per un punto di uno spazio euclideo, o più in generale [...] Vi del triangolo, avviene risolvendo il sistema lineare
Tale sistema ha soluzione seesolose la matrice 3 × 3 a secondo membro è non singolare, cioè seesolose il triangolo non è degenere. La definizione data si estende dal piano a uno spazio ...
Leggi Tutto
Klein, classificazione delle geometrie di
Klein, classificazione delle geometrie di riorganizzazione della geometria proposta da F. Klein nel cosiddetto programma di → Erlangen (1872). In tale impostazione [...] nell’insieme delle figure di S una relazione di equivalenza ∼ così definita: F ∼ F′ seesolose esiste una trasformazione g appartenente a G tale che g(F) = F′, essendo F e F′ due figure di S. In teoria si possono introdurre in S tante geometrie ...
Leggi Tutto
Zn, insieme delle classi resto modulo n
Zn, insieme delle classi resto modulo n in algebra, → insieme quoziente dell’insieme Z dei numeri interi rispetto alla relazione di congruenza, definita da a ≡ [...] n = 6, allora [2] ⋅ [3] = [6] = 0. Più precisamente, Zn possiede divisori dello zero seesolose n è un numero composto, mentre invece è un campo seesolose n è un numero primo. I campi della forma Zp, con p primo, sono particolarmente importanti ...
Leggi Tutto
identificazione
identificazione in topologia, procedimento che permette, a partire da un dato spazio topologico X, di costruire un nuovo spazio topologico ottenuto dal primo identificando alcuni suoi [...] X → Y tra due spazi topologici X e Y è un’identificazione seesolose gli aperti di Y sono tutti e soli i sottoinsiemi A ⊂ Y tali che ƒ −1(A) è aperto in X. Se ƒ: X → Y è una tale applicazione, allora Y è omeomorfo allo spazio topologico quoziente X ...
Leggi Tutto
numerazione
numerazione metodo per esprimere numeri mediante simboli. Il sistema di numerazione si dice additivo se ogni simbolo denota sempre la stessa quantità (come per esempio nel → sistema di numerazione [...] divisioni
che forniscono le cifre della parte decimale, c−1, c−2, ... La rappresentazione è costituita da un numero finito di cifre seesolose il denominatore b è divisore di una qualche potenza intera positiva di 10. Il numero delle cifre c−i ...
Leggi Tutto
prodotto vettoriale
prodotto vettoriale nell’ordinario spazio euclideo tridimensionale R3, inteso come spazio vettoriale V3, legge di composizione binaria tra vettori il cui risultato è un vettore dello [...] nullo, quando sono paralleli. Due vettori sono quindi linearmente indipendenti seesolose il loro prodotto vettoriale è diverso da zero. L’operazione di prodotto vettoriale non è né associativa, né commutativa, ma gode delle seguenti proprietà:
• u ...
Leggi Tutto
Lindenbaum, algebra di
Lindenbaum, algebra di struttura algebrica associata alle formule del linguaggio degli enunciati. In termini più specifici, l’algebra di Lindenbaum è una particolare algebra di [...] nell’insieme F delle formule ben formate del linguaggio degli enunciati si definisce la relazione r di equivalenza: A r B seesolose A e B sono logicamente equivalenti. Data una formula A di F, si indica con il simbolo [A] la classe di equivalenza ...
Leggi Tutto
matrici, congruenza di
matrici, congruenza di in algebra lineare, relazione di equivalenza tra matrici quadrate dello stesso ordine con elementi di un campo K. Due matrici quadrate A e B appartenenti [...] di rango e → segnatura:
• se K = R, allora due matrici simmetriche sono congruenti seesolose hanno lo stesso rango e la stessa segnatura (→ Sylvester, teorema di);
• se K = C, allora due matrici simmetriche sono congruenti seesolose hanno lo ...
Leggi Tutto
complesso simpliciale astratto
complesso simpliciale astratto astrazione combinatoria del concetto di → complesso simpliciale euclideo. Un complesso simpliciale astratto è una coppia K = (V, Δ) dove [...] euclideo K determina un complesso simpliciale astratto (V, Δ) in cui V è l’insieme dei vertici di K e un insieme di vertici appartiene a Δ seesolose il suo inviluppo convesso è una faccia di K. D’altro canto, a ogni complesso simpliciale astratto ...
Leggi Tutto
problema dell’arresto
Fabrizio Luccio
Primo esempio di problema indecidibile, cioè che non ammette alcun algoritmo di risoluzione. Il problema dell’arresto nacque nel 1936, sulla base di studi sugli [...] true) do p=ARR (A, A);
la cui computazione termina seesolose ARR(A, A) ha valore false ovvero, per la relazione [2]:
[3] NEW(A) termina seesolose A(A) non termina.
Se NEW esiste, è lecito eseguire la computazione NEW(NEW). Ma sostituendo NEW ad ...
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...