Algebraic curve: Difference between revisions
en>Justincheng12345-bot m r2.7.3) (Robot: Removing tr:Cebirsel eğri |
en>Ozob Undid revision 590755805 by Northumbrian (talk) No, it was already correct, and that's not spelling and grammar |
||
Line 1: | Line 1: | ||
{{Other uses|Definition (disambiguation)}} | |||
In [[mathematics]], an expression is '''well-defined''' if it is unambiguous and its objects are independent of their representative. More simply, it means that a mathematical statement is sensible and definite. In particular, a function is well-defined if it gives the same result when the form (the way in which it is presented) but not the value of an input is changed. The term well-defined is also used to indicate whether a logical statement is unambiguous, and a solution to a [[partial differential equation]] is said to be well-defined if it is [[continuity (mathematics)|continuous]] on the boundary.<ref name="MathWorld" /> | |||
==Well-defined functions== | |||
In [[mathematics]], a function is well-defined if it gives the same result when the form but not the value of the input is changed. For example, a function on the [[real number]]s must give the same output for 0.5 as it does for 1/2, because in the real number system 0.5 = 1/2. An example of a "function" that is not well-defined is "''f''(''x'') = the first digit that appears in ''x''". For this function, ''f''(0.5) = 0 but ''f''(1/2) = 1. A "function" such as this would not be considered a function at all, since a function must have exactly one output for a given input.<ref> 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.</ref> | |||
In [[group theory]], the term well-defined is often used when dealing with [[coset]]s, where a function on a [[quotient group]] may be defined in terms of a [[coset representative]]. Then the output of the function must be independent of which coset representative is chosen. For example, consider the group of [[modulo arithmetic|integers modulo 2]]. Since 4 and 6 are congruent modulo 2, a function defined on the integers modulo 2 must give the same output when the input is 6 that it gives when the input is 4. | |||
A function that is not well-defined is not the same as a function that is [[undefined (mathematics)|undefined]]. For example, if ''f''(''x'') = 1/''x'', then ''f''(0) is undefined, but this has nothing to do with the question of whether ''f''(''x'') = 1/''x'' is well-defined. It is; 0 is simply not in the domain of the function. | |||
===Operations=== | |||
In particular, the term well-defined is used with respect to (binary) [[operation (mathematics)| operation]]s on cosets. In this case one can view the operation as a function of two variables and the property of being well-defined is the same as that for a function. For example, addition on the integers modulo some ''n'' can be defined naturally in terms of integer addition. | |||
:<math>[a]\oplus[b] = [a+b]</math> | |||
The fact that this is well-defined follows from the fact that we can write any representative of <math>[a]</math> as <math>a+kn</math>, where k is an integer. Therefore, | |||
:<math>[a+kn]\oplus[b] = [(a+kn)+b] = [(a+b)+kn] = [a+b] = [a]\oplus[b]</math> | |||
and similarly for any representative of <math>[b]</math>. | |||
==Well-defined notation== | |||
For real numbers, the product <math>a \times b \times c</math> is unambiguous because <math>(ab)c= a(bc)</math>. <ref name="MathWorld">{{cite web | last = Weisstein | first = Eric W. | title = Well-Defined | publisher = From MathWorld--A Wolfram Web Resource | url=http://mathworld.wolfram.com/Well-Defined.html | accessdate = 2 January 2013 }}</ref> In this case this notation is said to be ''well-defined''. However, if the [[operation (mathematics)|operation]] (here <math>\times</math>) did not have this property, which is known as [[associativity]], then there must be a convention for which two elements to multiply first. Otherwise, the product is not well-defined. The [[subtraction]] operation, <math>-</math>, is not associative, for instance. However, the notation <math>a-b-c</math> is well-defined under the convention that the <math>-</math> operation is understood as addition of the opposite, thus <math>a-b-c</math> is the same as <math>a + -b + -c</math>. Division is also non-associative. However, <math>a/b/c</math> does not have an unambiguous conventional interpretation, so this expression is ill-defined. | |||
==See also== | |||
* [[Definitionism]] | |||
* [[Existence]] | |||
* [[Uniqueness]] | |||
* [[Uniqueness quantification]] | |||
* [[Undefined_(mathematics)|Undefined]] | |||
==References== | |||
===Notes=== | |||
{{Reflist}} | |||
===Books=== | |||
* ''Contemporary Abstract Algebra'', Joseph A. Gallian, 6th Edition, Houghlin Mifflin, 2006, ISBN 0-618-51471-6. | |||
{{DEFAULTSORT:Well-Defined}} | |||
[[Category:Definition]] | |||
[[Category:Mathematical terminology]] |
Revision as of 03:06, 15 January 2014
I'm Fernando (21) from Seltjarnarnes, Iceland.
I'm learning Norwegian literature at a local college and I'm just about to graduate.
I have a part time job in a the office.
my site; wellness [continue reading this..]
In mathematics, an expression is well-defined if it is unambiguous and its objects are independent of their representative. More simply, it means that a mathematical statement is sensible and definite. In particular, a function is well-defined if it gives the same result when the form (the way in which it is presented) but not the value of an input is changed. The term well-defined is also used to indicate whether a logical statement is unambiguous, and a solution to a partial differential equation is said to be well-defined if it is continuous on the boundary.[1]
Well-defined functions
In mathematics, a function is well-defined if it gives the same result when the form but not the value of the input is changed. For example, a function on the real numbers must give the same output for 0.5 as it does for 1/2, because in the real number system 0.5 = 1/2. An example of a "function" that is not well-defined is "f(x) = the first digit that appears in x". For this function, f(0.5) = 0 but f(1/2) = 1. A "function" such as this would not be considered a function at all, since a function must have exactly one output for a given input.[2]
In group theory, the term well-defined is often used when dealing with cosets, where a function on a quotient group may be defined in terms of a coset representative. Then the output of the function must be independent of which coset representative is chosen. For example, consider the group of integers modulo 2. Since 4 and 6 are congruent modulo 2, a function defined on the integers modulo 2 must give the same output when the input is 6 that it gives when the input is 4.
A function that is not well-defined is not the same as a function that is undefined. For example, if f(x) = 1/x, then f(0) is undefined, but this has nothing to do with the question of whether f(x) = 1/x is well-defined. It is; 0 is simply not in the domain of the function.
Operations
In particular, the term well-defined is used with respect to (binary) operations on cosets. In this case one can view the operation as a function of two variables and the property of being well-defined is the same as that for a function. For example, addition on the integers modulo some n can be defined naturally in terms of integer addition.
The fact that this is well-defined follows from the fact that we can write any representative of as , where k is an integer. Therefore,
and similarly for any representative of .
Well-defined notation
For real numbers, the product is unambiguous because . [1] In this case this notation is said to be well-defined. However, if the operation (here ) did not have this property, which is known as associativity, then there must be a convention for which two elements to multiply first. Otherwise, the product is not well-defined. The subtraction operation, , is not associative, for instance. However, the notation is well-defined under the convention that the operation is understood as addition of the opposite, thus is the same as . Division is also non-associative. However, does not have an unambiguous conventional interpretation, so this expression is ill-defined.
See also
References
Notes
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
Books
- Contemporary Abstract Algebra, Joseph A. Gallian, 6th Edition, Houghlin Mifflin, 2006, ISBN 0-618-51471-6.
- ↑ 1.0 1.1 Template:Cite web
- ↑ 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.