Proving that two real functions are equal [duplicate]
This question already has an answer here:
Continuous function and dense set
2 answers
Let $f : mathbb{R} to mathbb{R}$ and $g : mathbb{R} to mathbb{R}$ be continuous functions. Suppose that $D ⊆ mathbb{R}$,
and that $D$ is dense in $mathbb{R}$. Suppose that $f(x) = g(x)$ for every $x ∈ D$. Prove that
$f(x) = g(x)$ for every $x ∈ mathbb{R}$.
Any tips for where I can start here? I'm pulling up blanks for this.
EDIT: there is a very similar question asked, but I have no idea what a metric space is so the whole thing didn't mean a ton to me unfortunately.
real-analysis
marked as duplicate by José Carlos Santos
StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Nov 21 '18 at 7:24
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
add a comment |
This question already has an answer here:
Continuous function and dense set
2 answers
Let $f : mathbb{R} to mathbb{R}$ and $g : mathbb{R} to mathbb{R}$ be continuous functions. Suppose that $D ⊆ mathbb{R}$,
and that $D$ is dense in $mathbb{R}$. Suppose that $f(x) = g(x)$ for every $x ∈ D$. Prove that
$f(x) = g(x)$ for every $x ∈ mathbb{R}$.
Any tips for where I can start here? I'm pulling up blanks for this.
EDIT: there is a very similar question asked, but I have no idea what a metric space is so the whole thing didn't mean a ton to me unfortunately.
real-analysis
marked as duplicate by José Carlos Santos
StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Nov 21 '18 at 7:24
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
add a comment |
This question already has an answer here:
Continuous function and dense set
2 answers
Let $f : mathbb{R} to mathbb{R}$ and $g : mathbb{R} to mathbb{R}$ be continuous functions. Suppose that $D ⊆ mathbb{R}$,
and that $D$ is dense in $mathbb{R}$. Suppose that $f(x) = g(x)$ for every $x ∈ D$. Prove that
$f(x) = g(x)$ for every $x ∈ mathbb{R}$.
Any tips for where I can start here? I'm pulling up blanks for this.
EDIT: there is a very similar question asked, but I have no idea what a metric space is so the whole thing didn't mean a ton to me unfortunately.
real-analysis
This question already has an answer here:
Continuous function and dense set
2 answers
Let $f : mathbb{R} to mathbb{R}$ and $g : mathbb{R} to mathbb{R}$ be continuous functions. Suppose that $D ⊆ mathbb{R}$,
and that $D$ is dense in $mathbb{R}$. Suppose that $f(x) = g(x)$ for every $x ∈ D$. Prove that
$f(x) = g(x)$ for every $x ∈ mathbb{R}$.
Any tips for where I can start here? I'm pulling up blanks for this.
EDIT: there is a very similar question asked, but I have no idea what a metric space is so the whole thing didn't mean a ton to me unfortunately.
This question already has an answer here:
Continuous function and dense set
2 answers
real-analysis
real-analysis
edited Nov 21 '18 at 7:33
asked Nov 21 '18 at 7:07
ktuggle
184
184
marked as duplicate by José Carlos Santos
StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Nov 21 '18 at 7:24
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
marked as duplicate by José Carlos Santos
StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Nov 21 '18 at 7:24
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
add a comment |
add a comment |
4 Answers
4
active
oldest
votes
Hint. Let $x in mathbb{R}setminus D$ then, since $D$ is dense in $mathbb{R}$, there exists a sequence ${d_n}_n$ in $D$ such that $d_nto x$. By your assumption $f(d_n)=g(d_n)$. Now use the continuity of $f$ and $g$ at $x$.
I don't understand the purpose of saying $xnot in mathbb{R}setminus D$, isn't the just a really roundabout way of saying x is in D?
– ktuggle
Nov 21 '18 at 8:10
@ktuggle Sorry, it is $x in mathbb{R}setminus D$, that is $xnotin D$.
– Robert Z
Nov 21 '18 at 8:50
add a comment |
Hint: Consider $h(x) = f(x)-g(x)$. This should simplify your problem.
add a comment |
The set $U:={,f(x)ne g(x)mid xinBbb R}$ is open. We are given that $Ucap D=emptyset$, but as $D$ is dense, it has non-empty intersection with every non-empty open set. We conclude that $U$ is empty.
add a comment |
Hint: Prove the set $ A= {x in mathbb{R} vert f (x)=g (x)}$ is closed in $mathbb {R}$. Clearly, $D subseteq A $. Taking closure on both sides, we get $mathbb {R} subseteq A implies mathbb {R}=A $.
add a comment |
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
Hint. Let $x in mathbb{R}setminus D$ then, since $D$ is dense in $mathbb{R}$, there exists a sequence ${d_n}_n$ in $D$ such that $d_nto x$. By your assumption $f(d_n)=g(d_n)$. Now use the continuity of $f$ and $g$ at $x$.
I don't understand the purpose of saying $xnot in mathbb{R}setminus D$, isn't the just a really roundabout way of saying x is in D?
– ktuggle
Nov 21 '18 at 8:10
@ktuggle Sorry, it is $x in mathbb{R}setminus D$, that is $xnotin D$.
– Robert Z
Nov 21 '18 at 8:50
add a comment |
Hint. Let $x in mathbb{R}setminus D$ then, since $D$ is dense in $mathbb{R}$, there exists a sequence ${d_n}_n$ in $D$ such that $d_nto x$. By your assumption $f(d_n)=g(d_n)$. Now use the continuity of $f$ and $g$ at $x$.
I don't understand the purpose of saying $xnot in mathbb{R}setminus D$, isn't the just a really roundabout way of saying x is in D?
– ktuggle
Nov 21 '18 at 8:10
@ktuggle Sorry, it is $x in mathbb{R}setminus D$, that is $xnotin D$.
– Robert Z
Nov 21 '18 at 8:50
add a comment |
Hint. Let $x in mathbb{R}setminus D$ then, since $D$ is dense in $mathbb{R}$, there exists a sequence ${d_n}_n$ in $D$ such that $d_nto x$. By your assumption $f(d_n)=g(d_n)$. Now use the continuity of $f$ and $g$ at $x$.
Hint. Let $x in mathbb{R}setminus D$ then, since $D$ is dense in $mathbb{R}$, there exists a sequence ${d_n}_n$ in $D$ such that $d_nto x$. By your assumption $f(d_n)=g(d_n)$. Now use the continuity of $f$ and $g$ at $x$.
edited Nov 21 '18 at 8:50
answered Nov 21 '18 at 7:13
Robert Z
93.3k1061132
93.3k1061132
I don't understand the purpose of saying $xnot in mathbb{R}setminus D$, isn't the just a really roundabout way of saying x is in D?
– ktuggle
Nov 21 '18 at 8:10
@ktuggle Sorry, it is $x in mathbb{R}setminus D$, that is $xnotin D$.
– Robert Z
Nov 21 '18 at 8:50
add a comment |
I don't understand the purpose of saying $xnot in mathbb{R}setminus D$, isn't the just a really roundabout way of saying x is in D?
– ktuggle
Nov 21 '18 at 8:10
@ktuggle Sorry, it is $x in mathbb{R}setminus D$, that is $xnotin D$.
– Robert Z
Nov 21 '18 at 8:50
I don't understand the purpose of saying $xnot in mathbb{R}setminus D$, isn't the just a really roundabout way of saying x is in D?
– ktuggle
Nov 21 '18 at 8:10
I don't understand the purpose of saying $xnot in mathbb{R}setminus D$, isn't the just a really roundabout way of saying x is in D?
– ktuggle
Nov 21 '18 at 8:10
@ktuggle Sorry, it is $x in mathbb{R}setminus D$, that is $xnotin D$.
– Robert Z
Nov 21 '18 at 8:50
@ktuggle Sorry, it is $x in mathbb{R}setminus D$, that is $xnotin D$.
– Robert Z
Nov 21 '18 at 8:50
add a comment |
Hint: Consider $h(x) = f(x)-g(x)$. This should simplify your problem.
add a comment |
Hint: Consider $h(x) = f(x)-g(x)$. This should simplify your problem.
add a comment |
Hint: Consider $h(x) = f(x)-g(x)$. This should simplify your problem.
Hint: Consider $h(x) = f(x)-g(x)$. This should simplify your problem.
answered Nov 21 '18 at 7:09
Jacky Chong
17.7k21128
17.7k21128
add a comment |
add a comment |
The set $U:={,f(x)ne g(x)mid xinBbb R}$ is open. We are given that $Ucap D=emptyset$, but as $D$ is dense, it has non-empty intersection with every non-empty open set. We conclude that $U$ is empty.
add a comment |
The set $U:={,f(x)ne g(x)mid xinBbb R}$ is open. We are given that $Ucap D=emptyset$, but as $D$ is dense, it has non-empty intersection with every non-empty open set. We conclude that $U$ is empty.
add a comment |
The set $U:={,f(x)ne g(x)mid xinBbb R}$ is open. We are given that $Ucap D=emptyset$, but as $D$ is dense, it has non-empty intersection with every non-empty open set. We conclude that $U$ is empty.
The set $U:={,f(x)ne g(x)mid xinBbb R}$ is open. We are given that $Ucap D=emptyset$, but as $D$ is dense, it has non-empty intersection with every non-empty open set. We conclude that $U$ is empty.
answered Nov 21 '18 at 7:20
Hagen von Eitzen
276k21269496
276k21269496
add a comment |
add a comment |
Hint: Prove the set $ A= {x in mathbb{R} vert f (x)=g (x)}$ is closed in $mathbb {R}$. Clearly, $D subseteq A $. Taking closure on both sides, we get $mathbb {R} subseteq A implies mathbb {R}=A $.
add a comment |
Hint: Prove the set $ A= {x in mathbb{R} vert f (x)=g (x)}$ is closed in $mathbb {R}$. Clearly, $D subseteq A $. Taking closure on both sides, we get $mathbb {R} subseteq A implies mathbb {R}=A $.
add a comment |
Hint: Prove the set $ A= {x in mathbb{R} vert f (x)=g (x)}$ is closed in $mathbb {R}$. Clearly, $D subseteq A $. Taking closure on both sides, we get $mathbb {R} subseteq A implies mathbb {R}=A $.
Hint: Prove the set $ A= {x in mathbb{R} vert f (x)=g (x)}$ is closed in $mathbb {R}$. Clearly, $D subseteq A $. Taking closure on both sides, we get $mathbb {R} subseteq A implies mathbb {R}=A $.
answered Nov 21 '18 at 7:28
Thomas Shelby
1,489216
1,489216
add a comment |
add a comment |