Expresie bine definită

În matematică o expresie bine definită^[1] sau expresie neambiguă este o expresie căreia definiția sa îi conferă o interpretare sau valoare unică. Altfel, expresia este una care nu este bine definită sau este ambiguă.^[2] O funcție este bine definită dacă dă același rezultat atunci când reprezentarea intrării este modificată fără a modifica valoarea intrării. De exemplu, dacă f are ca intrare numere reale, iar dacă f(0,5) nu este egală cu f(1/2), atunci f nu este bine definită (și deci nu este o funcție).^[3] Termenul bine definit poate fi folosit și pentru a arăta că o expresie logică este nembiguă sau necontradictorie.^[4]

O funcție care nu este bine definită nu este același lucru cu o funcție care este nedefinită. De exemplu, dacă f(x) = 1/x, atunci faptul că f(0) este nedefinită nu înseamnă că f este nu este bine definită, ci doar că acel 0 nu se află în domeniul de definiție al f.

Exemplu

Fie mulțimile $A_{0},A_{1}$ și reuniunea lor $A=A_{0}\cup A_{1}$ și „se definește” $f:A\rightarrow \{0,1\}$ drept $f(a)=0$ dacă $a\in A_{0}$ și $f(a)=1$ dacă $a\in A_{1}$ .

Atunci $f$ este bine definită dacă intersecția lor este vidă $A_{0}\cap A_{1}=\emptyset \!$ . De exemplu, dacă $A_{0}:=\{2,4\}$ și $A_{1}:=\{3,5\}$ , atunci $f(a)$ va fi bine definită și egală cu $\operatorname {mod} (a,2)$ .

În orice caz, dacă $A_{0}\cap A_{1}\neq \emptyset$ , atunci $f$ nu va fi bine definită deoarece $f(a)$ este „ambiguă” pentru $a\in A_{0}\cap A_{1}$ . De exemplu, dacă $A_{0}:=\{2\}$ și $A_{1}:=\{2\}$ , atunci $f(2)$ ar putea fi atât 0 cât și 1, ceea ce o face ambiguă. Ca rezultat, ultima $f$ nu este bine definită, prin urmare nu este o funcție.

„Definiția” ca anticipare a definiției

Pentru a evita interpelările din jurul „definirii” din exemplul simplu anterior, „definiția” $f$ ar putea fi împărțită în doi pași logici simpli:

Definiția unei relații binare: În exemplul
$f:={\bigl \{}(a,i)\mid i\in \{0,1\}\wedge a\in A_{i}{\bigr \}},$
(care nu este altceva decât un subset al produsului cartezian $A\times \{0,1\}$ .)
Afirmația: Relația binară $f$ este o funcție; în exemplul dat
$f:A\rightarrow \{0,1\}.$

În timp ce definiția din pasul 1 este formulată liber de orice altă definiție și este cu siguranță corectă (fără a fi nevoie să fie clasificată drept „bine definită”), afirmația din pasul 2 trebuie demonstrată. Adică $f$ este o funcție dacă și numai dacă $A_{0}\cap A_{1}=\emptyset$ , în care caz $f$ — ca funcție — este bine definită. Pe de altă parte, dacă $A_{0}\cap A_{1}\neq \emptyset$ , atunci pentru $a\in A_{0}\cap A_{1}$ , ar fi $(a,0)\in f$ și $(a,1)\in f$ , care fac relația binară $f$ nefuncțională și prin urmare nefiind bine definită ca funcție. Colocvial, despre „funcția” $f$ se spune că este ambiguă în punctul $a$ (deși prin definiție nu există o „funcție ambiguă”), iar „definiția” originală este inutilă. În ciuda acestor probleme logice subtile, este destul de comun să se folosească anticipat termenul de definiție pentru „definiții” de acest fel, din trei motive:

Oferă o procedură utilă a abordării în doi pași.
Raționamentul matematic relevant, adică pasul al doilea, este același în ambele cazuri.
În textele matematice, afirmația este „100 %” adevărată.

Notații bine definite

Pentru numerele reale, produsul $a\times b\times c$ este neambiguu deoarece $(a\times b)\times c=a\times (b\times c)$ (prin urmare se spune că notația este bine definită).^[2] Această proprietate, cunoscută drept asociativitatea înmulțirii, garantează că rezultatul nu depinde de ordinea înmulțirilor, astfel că descrierea secvenței operațiilor poate fi omisă.

Pe de altă parte, operația de scădere nu este asociativă. Totuși, există convenția că $a-b-c$ este o prescurtare pentru $(a-b)-c$ , prin urmare este bine definită.

Nici împărțirea nu este asociativă. Însă în expresia $a/b/c$ convențiile nu sunt așa de bine stabilite, ca urmare se consideră că expresia nu este bine definită.

Alte utilizări ale termenului

Se spune că o soluție a unei ecuații cu derivate parțiale este bine definită dacă este determinată permanent de condițiile la limită, chiar dacă ele se tot schimbă.^[2]

Note

^ Dumitru Bușneg, Dana Piciu, Florentina Chirteș, Probleme de logică și teoria mulțimilor, Craiova: Ed. Universitaria, 2003, ISBN: 973-8043-347-7
^ ^a ^b ^c en Weisstein, Eric W. „Well-Defined”. From MathWorld – A Wolfram Web Resource. Accesat în 2 ianuarie 2013.
^ en Joseph J. Rotman, The Theory of Groups: an Introduction, p. 287 "... a function is "single-valued," or, as we prefer to say ... a function is well defined.", Allyn and Bacon, 1965.
^ en „The Definitive Glossary of Higher Mathematical Jargon”. Math Vault (în engleză). 1 august 2019. Accesat în 18 octombrie 2019.

Bibliografie

en Joseph A. Gallian, Contemporary Abstract Algebra, 6th Edition, Houghlin Mifflin, 2006, ISBN: 0-618-51471-6
en Paolo Aluffi, Algebra: Chapter 0, ISBN: 978-0821847817. Page 16.
en Dummit, Foote, Abstract Algebra, 3rd edition, ISBN: 978-0471433347. Page 1.

Portal Matematică

[1] Dumitru Bușneg, Dana Piciu, Florentina Chirteș, Probleme de logică și teoria mulțimilor, Craiova: Ed. Universitaria, 2003, ISBN: 973-8043-347-7

[MathWorld-2] Weisstein, Eric W. „Well-Defined”. From MathWorld – A Wolfram Web Resource. Accesat în 2 ianuarie 2013.

[3] Joseph J. Rotman, The Theory of Groups: an Introduction, p. 287 "... a function is "single-valued," or, as we prefer to say ... a function is well defined.", Allyn and Bacon, 1965.

[MV-4] „The Definitive Glossary of Higher Mathematical Jargon”. Math Vault (în engleză). 1 august 2019. Accesat în 18 octombrie 2019.

[1]

[2]

[3]

[4]