Does the domain of the function depend on how you write it?
Clash Royale CLAN TAG#URR8PPP
up vote
10
down vote
favorite
What is the domain of the function $f(x,y)= sqrtxy $.
In this case, domain is $D=(x,y) in R^2: $
Since $ sqrtxy = x^0.5y^0.5 $ I can write the function equivalently as $f(x,y)= x^0.5y^0.5 $ but in this case domain is only $D=(x,y) in R^2: x geq 0, y geq0 $
So, which one is the domain finally? Is it possible that the function $f$ has different domain depending on how you write it? This is confusing.
functions
add a comment |Â
up vote
10
down vote
favorite
What is the domain of the function $f(x,y)= sqrtxy $.
In this case, domain is $D=(x,y) in R^2: $
Since $ sqrtxy = x^0.5y^0.5 $ I can write the function equivalently as $f(x,y)= x^0.5y^0.5 $ but in this case domain is only $D=(x,y) in R^2: x geq 0, y geq0 $
So, which one is the domain finally? Is it possible that the function $f$ has different domain depending on how you write it? This is confusing.
functions
13
Usually, you choose what domain you're applying the function over. This should be part of the function's definition.
â Bill Wallis
2 days ago
3
Why do you think $x^0.5y^0.5$ is defined more restrictively than $sqrtxy$? The domain is what you choose it to be, not something that can always be unambiguously inferred from the rule.
â chepner
2 days ago
2
It is not in general true that $sqrtxy = x^0.5y^0.5$. This equality requires certain assumptions, which might or might not be true in context.
â aschepler
2 days ago
2
I answered this previously. My answer there applies exactly to this question, although the question I was then answering may not be a precise duplicate.
â Wildcard
2 days ago
add a comment |Â
up vote
10
down vote
favorite
up vote
10
down vote
favorite
What is the domain of the function $f(x,y)= sqrtxy $.
In this case, domain is $D=(x,y) in R^2: $
Since $ sqrtxy = x^0.5y^0.5 $ I can write the function equivalently as $f(x,y)= x^0.5y^0.5 $ but in this case domain is only $D=(x,y) in R^2: x geq 0, y geq0 $
So, which one is the domain finally? Is it possible that the function $f$ has different domain depending on how you write it? This is confusing.
functions
What is the domain of the function $f(x,y)= sqrtxy $.
In this case, domain is $D=(x,y) in R^2: $
Since $ sqrtxy = x^0.5y^0.5 $ I can write the function equivalently as $f(x,y)= x^0.5y^0.5 $ but in this case domain is only $D=(x,y) in R^2: x geq 0, y geq0 $
So, which one is the domain finally? Is it possible that the function $f$ has different domain depending on how you write it? This is confusing.
functions
functions
edited 2 days ago
Eric Wofsey
166k12195308
166k12195308
asked 2 days ago
G.T.
16011
16011
13
Usually, you choose what domain you're applying the function over. This should be part of the function's definition.
â Bill Wallis
2 days ago
3
Why do you think $x^0.5y^0.5$ is defined more restrictively than $sqrtxy$? The domain is what you choose it to be, not something that can always be unambiguously inferred from the rule.
â chepner
2 days ago
2
It is not in general true that $sqrtxy = x^0.5y^0.5$. This equality requires certain assumptions, which might or might not be true in context.
â aschepler
2 days ago
2
I answered this previously. My answer there applies exactly to this question, although the question I was then answering may not be a precise duplicate.
â Wildcard
2 days ago
add a comment |Â
13
Usually, you choose what domain you're applying the function over. This should be part of the function's definition.
â Bill Wallis
2 days ago
3
Why do you think $x^0.5y^0.5$ is defined more restrictively than $sqrtxy$? The domain is what you choose it to be, not something that can always be unambiguously inferred from the rule.
â chepner
2 days ago
2
It is not in general true that $sqrtxy = x^0.5y^0.5$. This equality requires certain assumptions, which might or might not be true in context.
â aschepler
2 days ago
2
I answered this previously. My answer there applies exactly to this question, although the question I was then answering may not be a precise duplicate.
â Wildcard
2 days ago
13
13
Usually, you choose what domain you're applying the function over. This should be part of the function's definition.
â Bill Wallis
2 days ago
Usually, you choose what domain you're applying the function over. This should be part of the function's definition.
â Bill Wallis
2 days ago
3
3
Why do you think $x^0.5y^0.5$ is defined more restrictively than $sqrtxy$? The domain is what you choose it to be, not something that can always be unambiguously inferred from the rule.
â chepner
2 days ago
Why do you think $x^0.5y^0.5$ is defined more restrictively than $sqrtxy$? The domain is what you choose it to be, not something that can always be unambiguously inferred from the rule.
â chepner
2 days ago
2
2
It is not in general true that $sqrtxy = x^0.5y^0.5$. This equality requires certain assumptions, which might or might not be true in context.
â aschepler
2 days ago
It is not in general true that $sqrtxy = x^0.5y^0.5$. This equality requires certain assumptions, which might or might not be true in context.
â aschepler
2 days ago
2
2
I answered this previously. My answer there applies exactly to this question, although the question I was then answering may not be a precise duplicate.
â Wildcard
2 days ago
I answered this previously. My answer there applies exactly to this question, although the question I was then answering may not be a precise duplicate.
â Wildcard
2 days ago
add a comment |Â
3 Answers
3
active
oldest
votes
up vote
21
down vote
accepted
Strictly speaking, $f(x,y)=sqrtxy$ is not a function at all. It becomes a function when you specify a domain and a codomain. Depending on your domain, you may have alternative ways to write the function; for example, if you choose the domain $(x,y)inmathbb R^2: xy=1$ you can equivalently write the function as $f(x,y)=1$; this form clearly is not equivalent to your expression if you chose as domain e.g $(x,y)inmathbb R^2: x>0land y>0$. And of course you have to make sure that your expression is defined on the complete domain, or alternatively, use it only for the corresponding part of the domain and give another expression for other parts of the domain. For example, on the domain $(x,y)inmathbb R^2: xyge 0$, you could write your function equivalently as
$$f(x,y) = begincases x^1/2y^1/2 & xge 0 \ (-x)^1/2(-y)^1/2 & textotherwiseendcases$$
Usually when not specifying a domain, the domain is implicitly given as âÂÂwhereever that expression is definedâÂÂ. In that sense, the two functions you give are then not the same, as they have different domains, although they agree in the intersection of their domains.
Note also that without codomain, your function is not completely defined. For example, if you chose $mathbb R_ge 0$ as your codomain, your function (with implicitly given domain) is surjective (it reaches every point of the codomain), while with the codomain $mathbb R$ it isn't.
If not explicitly specified, usually the codomain of a function is assumed either to be its image (the minimal possible codomain, which makes the function surjective), or the largest âÂÂreasonableâ set containing the image (like $mathbb R$ for real-valued functions).
Since the exact codomain is less often relevant than the domain, it is more often left unspecified.
add a comment |Â
up vote
19
down vote
In strictly (set theoretical) mathematical terms, the domain is part of the definition of a function. However, it is fairly common to write down a function by giving an expression how to calculate it, and then the natural domain of the function is the set where that expression is well-defined. As you have discovered, there are sometimes different expressions that evaluate to the same thing for some input values, but there are different sets on which the expressions are defined.
For example, $f(x)=(sqrtx+2)^2$ has the natural domain $[-2,infty)$. However, everywhere in that domain it is equal to $(x+2)$. The function $g(x)=x+2$ has the natural domain $mathbb R$.
add a comment |Â
up vote
9
down vote
This is actually poorly explained (in US schools at least) until you get to proof-based writing.
Formally, a function is two thing: a domain, and a "rule" which assigns to each element of the domain an output. If the domain is $D$, then for each $xin D$, we assign a value $f(x)$. This "rule" is what we usually think of as some sort of equation like $f(x)=x^2-sqrt x$. The domain can be any set, and the outputs can also be in any set.
In practice, though, the domain is often implied by the context and the rule. For example, in calculus, when you see the function $f(x)=1/x$, it is assumed that the domain is the largest set of real numbers for which it makes sense to plug into $f$. In this case, any number but $0$ makes sense, so we can write $D=(-infty,0)cup (0,infty)$.
As you noticed, it is not always entirely obvious what the domain should be. For $f(x,y)=sqrtxy$, it makes sense to plug in any positive numbers for $x$ and $y$, but also certain negative numbers. For example, it makes sense to plug in $x=-1$ and $y=-4$. However, it does not make sense to plug in $x=-1$, $y-4$. In this case the domain is $(x,y):xyge 0$, or $(x,y):x,yge 0 text or x,yle 0$.
4
It also has a codomain.
â Acccumulation
2 days ago
4
I strongly object to defining functions in terms of rules, as you would need to specify what a rule is. The standard definition of function is a relation $R$ such that for every element $x$ in the domain there exists an unique element $y$ in the codomain with $x R y$.
â miniBill
2 days ago
3
@miniBill As far as I can see, the rule is your relation; you're just using more precise terminology.
â David Richerby
2 days ago
I didnâÂÂt meet to he super precise so maybe I shouldnâÂÂt have said âÂÂformally.â This explanation helped me when I first heard it, though.
â Elliot G
2 days ago
2
A relation is any subset of the Cartesian product. Which can be defined in a few steps from ZFC. My point is not formal. I'll explain. A rule assumes something describable, but for uncountable sets there are far more functions than finitely describable functions (which are necessarily enumerable).
â miniBill
yesterday
 |Â
show 2 more comments
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
21
down vote
accepted
Strictly speaking, $f(x,y)=sqrtxy$ is not a function at all. It becomes a function when you specify a domain and a codomain. Depending on your domain, you may have alternative ways to write the function; for example, if you choose the domain $(x,y)inmathbb R^2: xy=1$ you can equivalently write the function as $f(x,y)=1$; this form clearly is not equivalent to your expression if you chose as domain e.g $(x,y)inmathbb R^2: x>0land y>0$. And of course you have to make sure that your expression is defined on the complete domain, or alternatively, use it only for the corresponding part of the domain and give another expression for other parts of the domain. For example, on the domain $(x,y)inmathbb R^2: xyge 0$, you could write your function equivalently as
$$f(x,y) = begincases x^1/2y^1/2 & xge 0 \ (-x)^1/2(-y)^1/2 & textotherwiseendcases$$
Usually when not specifying a domain, the domain is implicitly given as âÂÂwhereever that expression is definedâÂÂ. In that sense, the two functions you give are then not the same, as they have different domains, although they agree in the intersection of their domains.
Note also that without codomain, your function is not completely defined. For example, if you chose $mathbb R_ge 0$ as your codomain, your function (with implicitly given domain) is surjective (it reaches every point of the codomain), while with the codomain $mathbb R$ it isn't.
If not explicitly specified, usually the codomain of a function is assumed either to be its image (the minimal possible codomain, which makes the function surjective), or the largest âÂÂreasonableâ set containing the image (like $mathbb R$ for real-valued functions).
Since the exact codomain is less often relevant than the domain, it is more often left unspecified.
add a comment |Â
up vote
21
down vote
accepted
Strictly speaking, $f(x,y)=sqrtxy$ is not a function at all. It becomes a function when you specify a domain and a codomain. Depending on your domain, you may have alternative ways to write the function; for example, if you choose the domain $(x,y)inmathbb R^2: xy=1$ you can equivalently write the function as $f(x,y)=1$; this form clearly is not equivalent to your expression if you chose as domain e.g $(x,y)inmathbb R^2: x>0land y>0$. And of course you have to make sure that your expression is defined on the complete domain, or alternatively, use it only for the corresponding part of the domain and give another expression for other parts of the domain. For example, on the domain $(x,y)inmathbb R^2: xyge 0$, you could write your function equivalently as
$$f(x,y) = begincases x^1/2y^1/2 & xge 0 \ (-x)^1/2(-y)^1/2 & textotherwiseendcases$$
Usually when not specifying a domain, the domain is implicitly given as âÂÂwhereever that expression is definedâÂÂ. In that sense, the two functions you give are then not the same, as they have different domains, although they agree in the intersection of their domains.
Note also that without codomain, your function is not completely defined. For example, if you chose $mathbb R_ge 0$ as your codomain, your function (with implicitly given domain) is surjective (it reaches every point of the codomain), while with the codomain $mathbb R$ it isn't.
If not explicitly specified, usually the codomain of a function is assumed either to be its image (the minimal possible codomain, which makes the function surjective), or the largest âÂÂreasonableâ set containing the image (like $mathbb R$ for real-valued functions).
Since the exact codomain is less often relevant than the domain, it is more often left unspecified.
add a comment |Â
up vote
21
down vote
accepted
up vote
21
down vote
accepted
Strictly speaking, $f(x,y)=sqrtxy$ is not a function at all. It becomes a function when you specify a domain and a codomain. Depending on your domain, you may have alternative ways to write the function; for example, if you choose the domain $(x,y)inmathbb R^2: xy=1$ you can equivalently write the function as $f(x,y)=1$; this form clearly is not equivalent to your expression if you chose as domain e.g $(x,y)inmathbb R^2: x>0land y>0$. And of course you have to make sure that your expression is defined on the complete domain, or alternatively, use it only for the corresponding part of the domain and give another expression for other parts of the domain. For example, on the domain $(x,y)inmathbb R^2: xyge 0$, you could write your function equivalently as
$$f(x,y) = begincases x^1/2y^1/2 & xge 0 \ (-x)^1/2(-y)^1/2 & textotherwiseendcases$$
Usually when not specifying a domain, the domain is implicitly given as âÂÂwhereever that expression is definedâÂÂ. In that sense, the two functions you give are then not the same, as they have different domains, although they agree in the intersection of their domains.
Note also that without codomain, your function is not completely defined. For example, if you chose $mathbb R_ge 0$ as your codomain, your function (with implicitly given domain) is surjective (it reaches every point of the codomain), while with the codomain $mathbb R$ it isn't.
If not explicitly specified, usually the codomain of a function is assumed either to be its image (the minimal possible codomain, which makes the function surjective), or the largest âÂÂreasonableâ set containing the image (like $mathbb R$ for real-valued functions).
Since the exact codomain is less often relevant than the domain, it is more often left unspecified.
Strictly speaking, $f(x,y)=sqrtxy$ is not a function at all. It becomes a function when you specify a domain and a codomain. Depending on your domain, you may have alternative ways to write the function; for example, if you choose the domain $(x,y)inmathbb R^2: xy=1$ you can equivalently write the function as $f(x,y)=1$; this form clearly is not equivalent to your expression if you chose as domain e.g $(x,y)inmathbb R^2: x>0land y>0$. And of course you have to make sure that your expression is defined on the complete domain, or alternatively, use it only for the corresponding part of the domain and give another expression for other parts of the domain. For example, on the domain $(x,y)inmathbb R^2: xyge 0$, you could write your function equivalently as
$$f(x,y) = begincases x^1/2y^1/2 & xge 0 \ (-x)^1/2(-y)^1/2 & textotherwiseendcases$$
Usually when not specifying a domain, the domain is implicitly given as âÂÂwhereever that expression is definedâÂÂ. In that sense, the two functions you give are then not the same, as they have different domains, although they agree in the intersection of their domains.
Note also that without codomain, your function is not completely defined. For example, if you chose $mathbb R_ge 0$ as your codomain, your function (with implicitly given domain) is surjective (it reaches every point of the codomain), while with the codomain $mathbb R$ it isn't.
If not explicitly specified, usually the codomain of a function is assumed either to be its image (the minimal possible codomain, which makes the function surjective), or the largest âÂÂreasonableâ set containing the image (like $mathbb R$ for real-valued functions).
Since the exact codomain is less often relevant than the domain, it is more often left unspecified.
edited 2 days ago
answered 2 days ago
celtschk
28.8k75497
28.8k75497
add a comment |Â
add a comment |Â
up vote
19
down vote
In strictly (set theoretical) mathematical terms, the domain is part of the definition of a function. However, it is fairly common to write down a function by giving an expression how to calculate it, and then the natural domain of the function is the set where that expression is well-defined. As you have discovered, there are sometimes different expressions that evaluate to the same thing for some input values, but there are different sets on which the expressions are defined.
For example, $f(x)=(sqrtx+2)^2$ has the natural domain $[-2,infty)$. However, everywhere in that domain it is equal to $(x+2)$. The function $g(x)=x+2$ has the natural domain $mathbb R$.
add a comment |Â
up vote
19
down vote
In strictly (set theoretical) mathematical terms, the domain is part of the definition of a function. However, it is fairly common to write down a function by giving an expression how to calculate it, and then the natural domain of the function is the set where that expression is well-defined. As you have discovered, there are sometimes different expressions that evaluate to the same thing for some input values, but there are different sets on which the expressions are defined.
For example, $f(x)=(sqrtx+2)^2$ has the natural domain $[-2,infty)$. However, everywhere in that domain it is equal to $(x+2)$. The function $g(x)=x+2$ has the natural domain $mathbb R$.
add a comment |Â
up vote
19
down vote
up vote
19
down vote
In strictly (set theoretical) mathematical terms, the domain is part of the definition of a function. However, it is fairly common to write down a function by giving an expression how to calculate it, and then the natural domain of the function is the set where that expression is well-defined. As you have discovered, there are sometimes different expressions that evaluate to the same thing for some input values, but there are different sets on which the expressions are defined.
For example, $f(x)=(sqrtx+2)^2$ has the natural domain $[-2,infty)$. However, everywhere in that domain it is equal to $(x+2)$. The function $g(x)=x+2$ has the natural domain $mathbb R$.
In strictly (set theoretical) mathematical terms, the domain is part of the definition of a function. However, it is fairly common to write down a function by giving an expression how to calculate it, and then the natural domain of the function is the set where that expression is well-defined. As you have discovered, there are sometimes different expressions that evaluate to the same thing for some input values, but there are different sets on which the expressions are defined.
For example, $f(x)=(sqrtx+2)^2$ has the natural domain $[-2,infty)$. However, everywhere in that domain it is equal to $(x+2)$. The function $g(x)=x+2$ has the natural domain $mathbb R$.
answered 2 days ago
Kusma
3,355218
3,355218
add a comment |Â
add a comment |Â
up vote
9
down vote
This is actually poorly explained (in US schools at least) until you get to proof-based writing.
Formally, a function is two thing: a domain, and a "rule" which assigns to each element of the domain an output. If the domain is $D$, then for each $xin D$, we assign a value $f(x)$. This "rule" is what we usually think of as some sort of equation like $f(x)=x^2-sqrt x$. The domain can be any set, and the outputs can also be in any set.
In practice, though, the domain is often implied by the context and the rule. For example, in calculus, when you see the function $f(x)=1/x$, it is assumed that the domain is the largest set of real numbers for which it makes sense to plug into $f$. In this case, any number but $0$ makes sense, so we can write $D=(-infty,0)cup (0,infty)$.
As you noticed, it is not always entirely obvious what the domain should be. For $f(x,y)=sqrtxy$, it makes sense to plug in any positive numbers for $x$ and $y$, but also certain negative numbers. For example, it makes sense to plug in $x=-1$ and $y=-4$. However, it does not make sense to plug in $x=-1$, $y-4$. In this case the domain is $(x,y):xyge 0$, or $(x,y):x,yge 0 text or x,yle 0$.
4
It also has a codomain.
â Acccumulation
2 days ago
4
I strongly object to defining functions in terms of rules, as you would need to specify what a rule is. The standard definition of function is a relation $R$ such that for every element $x$ in the domain there exists an unique element $y$ in the codomain with $x R y$.
â miniBill
2 days ago
3
@miniBill As far as I can see, the rule is your relation; you're just using more precise terminology.
â David Richerby
2 days ago
I didnâÂÂt meet to he super precise so maybe I shouldnâÂÂt have said âÂÂformally.â This explanation helped me when I first heard it, though.
â Elliot G
2 days ago
2
A relation is any subset of the Cartesian product. Which can be defined in a few steps from ZFC. My point is not formal. I'll explain. A rule assumes something describable, but for uncountable sets there are far more functions than finitely describable functions (which are necessarily enumerable).
â miniBill
yesterday
 |Â
show 2 more comments
up vote
9
down vote
This is actually poorly explained (in US schools at least) until you get to proof-based writing.
Formally, a function is two thing: a domain, and a "rule" which assigns to each element of the domain an output. If the domain is $D$, then for each $xin D$, we assign a value $f(x)$. This "rule" is what we usually think of as some sort of equation like $f(x)=x^2-sqrt x$. The domain can be any set, and the outputs can also be in any set.
In practice, though, the domain is often implied by the context and the rule. For example, in calculus, when you see the function $f(x)=1/x$, it is assumed that the domain is the largest set of real numbers for which it makes sense to plug into $f$. In this case, any number but $0$ makes sense, so we can write $D=(-infty,0)cup (0,infty)$.
As you noticed, it is not always entirely obvious what the domain should be. For $f(x,y)=sqrtxy$, it makes sense to plug in any positive numbers for $x$ and $y$, but also certain negative numbers. For example, it makes sense to plug in $x=-1$ and $y=-4$. However, it does not make sense to plug in $x=-1$, $y-4$. In this case the domain is $(x,y):xyge 0$, or $(x,y):x,yge 0 text or x,yle 0$.
4
It also has a codomain.
â Acccumulation
2 days ago
4
I strongly object to defining functions in terms of rules, as you would need to specify what a rule is. The standard definition of function is a relation $R$ such that for every element $x$ in the domain there exists an unique element $y$ in the codomain with $x R y$.
â miniBill
2 days ago
3
@miniBill As far as I can see, the rule is your relation; you're just using more precise terminology.
â David Richerby
2 days ago
I didnâÂÂt meet to he super precise so maybe I shouldnâÂÂt have said âÂÂformally.â This explanation helped me when I first heard it, though.
â Elliot G
2 days ago
2
A relation is any subset of the Cartesian product. Which can be defined in a few steps from ZFC. My point is not formal. I'll explain. A rule assumes something describable, but for uncountable sets there are far more functions than finitely describable functions (which are necessarily enumerable).
â miniBill
yesterday
 |Â
show 2 more comments
up vote
9
down vote
up vote
9
down vote
This is actually poorly explained (in US schools at least) until you get to proof-based writing.
Formally, a function is two thing: a domain, and a "rule" which assigns to each element of the domain an output. If the domain is $D$, then for each $xin D$, we assign a value $f(x)$. This "rule" is what we usually think of as some sort of equation like $f(x)=x^2-sqrt x$. The domain can be any set, and the outputs can also be in any set.
In practice, though, the domain is often implied by the context and the rule. For example, in calculus, when you see the function $f(x)=1/x$, it is assumed that the domain is the largest set of real numbers for which it makes sense to plug into $f$. In this case, any number but $0$ makes sense, so we can write $D=(-infty,0)cup (0,infty)$.
As you noticed, it is not always entirely obvious what the domain should be. For $f(x,y)=sqrtxy$, it makes sense to plug in any positive numbers for $x$ and $y$, but also certain negative numbers. For example, it makes sense to plug in $x=-1$ and $y=-4$. However, it does not make sense to plug in $x=-1$, $y-4$. In this case the domain is $(x,y):xyge 0$, or $(x,y):x,yge 0 text or x,yle 0$.
This is actually poorly explained (in US schools at least) until you get to proof-based writing.
Formally, a function is two thing: a domain, and a "rule" which assigns to each element of the domain an output. If the domain is $D$, then for each $xin D$, we assign a value $f(x)$. This "rule" is what we usually think of as some sort of equation like $f(x)=x^2-sqrt x$. The domain can be any set, and the outputs can also be in any set.
In practice, though, the domain is often implied by the context and the rule. For example, in calculus, when you see the function $f(x)=1/x$, it is assumed that the domain is the largest set of real numbers for which it makes sense to plug into $f$. In this case, any number but $0$ makes sense, so we can write $D=(-infty,0)cup (0,infty)$.
As you noticed, it is not always entirely obvious what the domain should be. For $f(x,y)=sqrtxy$, it makes sense to plug in any positive numbers for $x$ and $y$, but also certain negative numbers. For example, it makes sense to plug in $x=-1$ and $y=-4$. However, it does not make sense to plug in $x=-1$, $y-4$. In this case the domain is $(x,y):xyge 0$, or $(x,y):x,yge 0 text or x,yle 0$.
edited 2 days ago
answered 2 days ago
Elliot G
10.1k21645
10.1k21645
4
It also has a codomain.
â Acccumulation
2 days ago
4
I strongly object to defining functions in terms of rules, as you would need to specify what a rule is. The standard definition of function is a relation $R$ such that for every element $x$ in the domain there exists an unique element $y$ in the codomain with $x R y$.
â miniBill
2 days ago
3
@miniBill As far as I can see, the rule is your relation; you're just using more precise terminology.
â David Richerby
2 days ago
I didnâÂÂt meet to he super precise so maybe I shouldnâÂÂt have said âÂÂformally.â This explanation helped me when I first heard it, though.
â Elliot G
2 days ago
2
A relation is any subset of the Cartesian product. Which can be defined in a few steps from ZFC. My point is not formal. I'll explain. A rule assumes something describable, but for uncountable sets there are far more functions than finitely describable functions (which are necessarily enumerable).
â miniBill
yesterday
 |Â
show 2 more comments
4
It also has a codomain.
â Acccumulation
2 days ago
4
I strongly object to defining functions in terms of rules, as you would need to specify what a rule is. The standard definition of function is a relation $R$ such that for every element $x$ in the domain there exists an unique element $y$ in the codomain with $x R y$.
â miniBill
2 days ago
3
@miniBill As far as I can see, the rule is your relation; you're just using more precise terminology.
â David Richerby
2 days ago
I didnâÂÂt meet to he super precise so maybe I shouldnâÂÂt have said âÂÂformally.â This explanation helped me when I first heard it, though.
â Elliot G
2 days ago
2
A relation is any subset of the Cartesian product. Which can be defined in a few steps from ZFC. My point is not formal. I'll explain. A rule assumes something describable, but for uncountable sets there are far more functions than finitely describable functions (which are necessarily enumerable).
â miniBill
yesterday
4
4
It also has a codomain.
â Acccumulation
2 days ago
It also has a codomain.
â Acccumulation
2 days ago
4
4
I strongly object to defining functions in terms of rules, as you would need to specify what a rule is. The standard definition of function is a relation $R$ such that for every element $x$ in the domain there exists an unique element $y$ in the codomain with $x R y$.
â miniBill
2 days ago
I strongly object to defining functions in terms of rules, as you would need to specify what a rule is. The standard definition of function is a relation $R$ such that for every element $x$ in the domain there exists an unique element $y$ in the codomain with $x R y$.
â miniBill
2 days ago
3
3
@miniBill As far as I can see, the rule is your relation; you're just using more precise terminology.
â David Richerby
2 days ago
@miniBill As far as I can see, the rule is your relation; you're just using more precise terminology.
â David Richerby
2 days ago
I didnâÂÂt meet to he super precise so maybe I shouldnâÂÂt have said âÂÂformally.â This explanation helped me when I first heard it, though.
â Elliot G
2 days ago
I didnâÂÂt meet to he super precise so maybe I shouldnâÂÂt have said âÂÂformally.â This explanation helped me when I first heard it, though.
â Elliot G
2 days ago
2
2
A relation is any subset of the Cartesian product. Which can be defined in a few steps from ZFC. My point is not formal. I'll explain. A rule assumes something describable, but for uncountable sets there are far more functions than finitely describable functions (which are necessarily enumerable).
â miniBill
yesterday
A relation is any subset of the Cartesian product. Which can be defined in a few steps from ZFC. My point is not formal. I'll explain. A rule assumes something describable, but for uncountable sets there are far more functions than finitely describable functions (which are necessarily enumerable).
â miniBill
yesterday
 |Â
show 2 more comments
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2912087%2fdoes-the-domain-of-the-function-depend-on-how-you-write-it%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
13
Usually, you choose what domain you're applying the function over. This should be part of the function's definition.
â Bill Wallis
2 days ago
3
Why do you think $x^0.5y^0.5$ is defined more restrictively than $sqrtxy$? The domain is what you choose it to be, not something that can always be unambiguously inferred from the rule.
â chepner
2 days ago
2
It is not in general true that $sqrtxy = x^0.5y^0.5$. This equality requires certain assumptions, which might or might not be true in context.
â aschepler
2 days ago
2
I answered this previously. My answer there applies exactly to this question, although the question I was then answering may not be a precise duplicate.
â Wildcard
2 days ago