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 \to {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 $\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: Format:Ordered list Î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, Format:ISBN
↑ ^2,0 ^2,1 ^2,2 Format:En icon Format:Cite web
↑ Format:En icon 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.
↑ Format:En icon Format:Cite web

Bibliografie

Format:En icon Joseph A. Gallian, Contemporary Abstract Algebra, 6th Edition, Houghlin Mifflin, 2006, Format:Isbn
Format:En icon Paolo Aluffi, Algebra: Chapter 0, Format:Isbn. Page 16.
Format:En icon Dummit, Foote, Abstract Algebra, 3rd edition, Format:Isbn. Page 1.

Format:Portal

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

[MathWorld-2] 2,0 ^2,1 ^2,2 Format:En icon Format:Cite web

[3] Format:En icon 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] Format:En icon Format:Cite web

[1]

[2]

[3]

[4]

Expresie bine definită

Cuprins

Exemplu

„Definiția” ca anticipare a definiției

Notații bine definite

Alte utilizări ale termenului

Note

Bibliografie

Meniu de navigare

Expresie bine definită

Exemplu

„Definiția” ca anticipare a definiției

Notații bine definite

Alte utilizări ale termenului

Note

Bibliografie

Meniu de navigare

Căutare