teorema In matematica e nelle scienze deduttive, ogni enunciato (o formula o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. [...] con alcuni o con altri enunciati.
In un sistema formale si chiama t. (o enunciato dimostrabile) l’ultima formula di una dimostrazione, cioè di una sequenza finita di formule tali che ciascuna di esse o è un assioma o è una conseguenza immediata di ...
Leggi Tutto
distributiva, proprietà In matematica, proprietà caratteristica della moltiplicazione, espressa dalla formula
[1]
che si può generalizzare per via ricorrente alla somma di un numero qualsiasi di addendi,
[2]
La [...] proprietà d. si può estendere al prodotto di due o più polinomi: per es., (a+b) (c+d) = (a+b)∙c + (a+b)∙d. La considerazione della proprietà d. si pone in modo naturale in un qualsiasi insieme algebrico ...
Leggi Tutto
binomiale
binomiale [agg. Der. di binomio] [ALG] Coefficiente b.: ciascuno dei coefficienti nella formula che dà lo sviluppo della potenza n-esima di un binomio (formula b.): → binomio. ◆ [ANM] Distribuzione [...] : II 85 c. ◆ [ANM] Equazione b., o binomia: equazione, di grado n del tipo axn=b; le sue soluzioni si hanno moltiplicando una radice n-esima di b/a per le radici n-esime di 1. ◆ [ANM] Serie b.: generalizzazione della formula del binomio: → binomio. ...
Leggi Tutto
Analisi non lineare: metodi variazionali
Antonio Ambrosetti
I primi problemi di calcolo delle variazioni si presentano quasi spontaneamente, anche nello studio della geometria elementare e hanno infatti [...] J(0)=0 e J(u)≥α per ogni u∈H con ∣u∣=r e che esista u1∈H con ∣u1∣>r e J(u1)〈α. Consideriamo il livello
[34] formula
dove Γ={γ∈C([0,1],H) tali che γ(0)=0, γ(1)=u1}. Se valgono le ipotesi precedenti e PSc, allora esiste z∈H tale che J(z)=c> ...
Leggi Tutto
in
in [Prep., lat. in] [ANM] [ALG] Indica spesso, nella lettura di una formula, l'operazione di prodotto: per es., f(x)dx si legge "f(x) in dx" (l'utilità di ciò sta nel fatto che leggendo senza "in", [...] cioè leggendo "f(x)dx", potrebbe intendersi la scrittura f(x,dx). ◆ [ALG] Nelle operazioni di insiemi, si distingue l'applicazione di un insieme A "in" un altro insieme B dall'applicazione di A "su" B: ...
Leggi Tutto
soddisfacibile
soddisfacìbile [Der. di soddisfare, dal lat. satisfacere, comp. di satis "abbastanza" e facere "fare"] [ALG] [FAF] Formula s.: nella logica matematica, è tale una formula se esiste una [...] struttura in cui, mediante un'opportuna interpretazione delle variabili, la formula medesima risulti vera, com'è, per es., per la formula 2x=y se la s'interpreta nel campo dei numeri interi ponendo x=1 e y=2. ...
Leggi Tutto
Geometria
Ryoichi Kobayashi e Luigi Ambrosio
Giovanni Bellettini
(XVI, p. 623; App. III, i, p. 724; IV, ii, p. 39; V, ii, p. 391)
Numerose voci dell'Enciclopedia Italiana trattano i vari oggetti e [...] .V. Kohn, e in seguito da molti altri autori è quello di passare al limite per ε↓0 nell'equazione di Allen e Cahn
[2] formula
dove γ(s)=tanh( ≈̳2s) e d è la distanza orientata da ∙E (De Giorgi 1990, 1991, 1992; Bronsard, Kohn 1991; Chen 1992; Evans ...
Leggi Tutto
(v. equazioni, XIV, p. 132; App. III, I, p. 564; IV, I, p. 714)
Ogni anno migliaia di pubblicazioni compaiono nella letteratura scientifica e ci si dovrà quindi limitare a delineare alcune linee essenziali, [...] che e. d. possano essere risolte in forma chiusa: un processo di turbolenza è troppo complicato per pretendere una formula esplicita per la soluzione delle equazioni corrispondenti. Si tratta piuttosto di rispondere a domande del tipo:
1) Esiste una ...
Leggi Tutto
In matematica, le sostituzioni lineari su una variabile complessa z=x+iy espresse dalla formula z′=(αz+β)/(γz+δ), ove α, β, γ, δ sono numeri interi ed è αδ−βγ=1; si tratta perciò di particolari affinità [...] circolari di Möbius (➔ affinità), che ricevono l’attributo di unimodulari o brevemente modulari in quanto αδ−βγ si chiama modulo dell’affinità. Le sostituzioni m. costituiscono un gruppo, infinito ma discontinuo, ...
Leggi Tutto
formula
fòrmula (o fòrmola) s. f. [dal lat. formula, propr. dim. di forma «forma»]. – 1. a. Frase o insieme di frasi imposte da una norma consuetudinaria (rituale o legale) come espressione costante di determinati fatti o strettamente legata...