Why does the support must be closed?
$begingroup$
Apparently it is important that the support is defined as the closure of ${f neq 0}$. Because of that condition globalization is allowed as the exercise below indicates. However, I have no idea why it is so important that the support is defined as the closure of ${f neq 0}$?
The exercise:
Let (X, $mathcal{T}$) be a topological space, U $subset$ X open and $eta$ $in$ C(X)
, (C(X) is the space of continuous functions on X) supported in U. Then, for any continuous map $g:U rightarrow mathbb{R} $,
$(eta cdot g): X rightarrow mathbb{R}$,
$(eta cdot g)(x) = eta (x)g(x)$ if $x in U$ and
$(eta cdot g)(x) = 0$ if $x notin U$
is continous. Show that this statement fails if we only assume that ${f neq 0} subset U$.
I have been able to show that the map $g : U rightarrow mathbb{R} $ is continuous. However, I still don't understand the importance of the closure and why the map otherwise isn't continuous.
Can anyone help me?
general-topology
asked 9 hours ago
HK4HK4
354
$endgroup$
add a comment |
$begingroup$
Apparently it is important that the support is defined as the closure of ${f neq 0}$. Because of that condition globalization is allowed as the exercise below indicates. However, I have no idea why it is so important that the support is defined as the closure of ${f neq 0}$?
The exercise:
Let (X, $mathcal{T}$) be a topological space, U $subset$ X open and $eta$ $in$ C(X)
, (C(X) is the space of continuous functions on X) supported in U. Then, for any continuous map $g:U rightarrow mathbb{R} $,
$(eta cdot g): X rightarrow mathbb{R}$,
$(eta cdot g)(x) = eta (x)g(x)$ if $x in U$ and
$(eta cdot g)(x) = 0$ if $x notin U$
is continous. Show that this statement fails if we only assume that ${f neq 0} subset U$.
I have been able to show that the map $g : U rightarrow mathbb{R} $ is continuous. However, I still don't understand the importance of the closure and why the map otherwise isn't continuous.
Can anyone help me?
general-topology
asked 9 hours ago
HK4HK4
354
$endgroup$
1
$begingroup$
You were given that $g$ was continuous as a hypothesis. Did you mean that you proved that $eta cdot g$ is continuous?
$endgroup$
– Chessanator
9 hours ago
$begingroup$
I meant that $(eta cdot g)$ is continuous yes!
$endgroup$
– HK4
8 hours ago
add a comment |
$begingroup$
Apparently it is important that the support is defined as the closure of ${f neq 0}$. Because of that condition globalization is allowed as the exercise below indicates. However, I have no idea why it is so important that the support is defined as the closure of ${f neq 0}$?
The exercise:
Let (X, $mathcal{T}$) be a topological space, U $subset$ X open and $eta$ $in$ C(X)
, (C(X) is the space of continuous functions on X) supported in U. Then, for any continuous map $g:U rightarrow mathbb{R} $,
$(eta cdot g): X rightarrow mathbb{R}$,
$(eta cdot g)(x) = eta (x)g(x)$ if $x in U$ and
$(eta cdot g)(x) = 0$ if $x notin U$
is continous. Show that this statement fails if we only assume that ${f neq 0} subset U$.
I have been able to show that the map $g : U rightarrow mathbb{R} $ is continuous. However, I still don't understand the importance of the closure and why the map otherwise isn't continuous.
Can anyone help me?
general-topology
asked 9 hours ago
HK4HK4
354
$endgroup$
Apparently it is important that the support is defined as the closure of ${f neq 0}$. Because of that condition globalization is allowed as the exercise below indicates. However, I have no idea why it is so important that the support is defined as the closure of ${f neq 0}$?
The exercise:
Let (X, $mathcal{T}$) be a topological space, U $subset$ X open and $eta$ $in$ C(X)
, (C(X) is the space of continuous functions on X) supported in U. Then, for any continuous map $g:U rightarrow mathbb{R} $,
$(eta cdot g): X rightarrow mathbb{R}$,
$(eta cdot g)(x) = eta (x)g(x)$ if $x in U$ and
$(eta cdot g)(x) = 0$ if $x notin U$
is continous. Show that this statement fails if we only assume that ${f neq 0} subset U$.
I have been able to show that the map $g : U rightarrow mathbb{R} $ is continuous. However, I still don't understand the importance of the closure and why the map otherwise isn't continuous.
Can anyone help me?
general-topology
general-topology
asked 9 hours ago
HK4HK4
354
asked 9 hours ago
HK4HK4
354
asked 9 hours ago
HK4HK4
354
asked 9 hours ago
HK4HK4
354
asked 9 hours ago
HK4HK4
354
354
1
$begingroup$
You were given that $g$ was continuous as a hypothesis. Did you mean that you proved that $eta cdot g$ is continuous?
$endgroup$
– Chessanator
9 hours ago
$begingroup$
I meant that $(eta cdot g)$ is continuous yes!
$endgroup$
– HK4
8 hours ago
add a comment |
1
$begingroup$
You were given that $g$ was continuous as a hypothesis. Did you mean that you proved that $eta cdot g$ is continuous?
$endgroup$
– Chessanator
9 hours ago
$begingroup$
I meant that $(eta cdot g)$ is continuous yes!
$endgroup$
– HK4
8 hours ago
1
1
$begingroup$
You were given that $g$ was continuous as a hypothesis. Did you mean that you proved that $eta cdot g$ is continuous?
$endgroup$
– Chessanator
9 hours ago
$begingroup$
You were given that $g$ was continuous as a hypothesis. Did you mean that you proved that $eta cdot g$ is continuous?
$endgroup$
– Chessanator
9 hours ago
$begingroup$
I meant that $(eta cdot g)$ is continuous yes!
$endgroup$
– HK4
8 hours ago
$begingroup$
I meant that $(eta cdot g)$ is continuous yes!
$endgroup$
– HK4
8 hours ago
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Imagine that you have a function $eta$ which satisfies $eta(x) neq 0$ for all $x in U$ while $eta(x) = 0$ for all $x in X setminus U$. If $X$ is connected and $U neq emptyset, X$ then such a function will satisfy ${ x in X , | , eta(x) neq 0 } = U subseteq U$ but it won't satisfy
$$ overline{ { x in X , | , eta(x) neq 0 } }= overline{U} subseteq U. $$
Take $g colon U rightarrow mathbb{R}$ to be the function $g(x) = frac{1}{eta(x)}$. Then $g$ is continuous on $U$ because $eta$ doesn't vanish on $U$ but "$eta cdot g$" is the characteristic function of $U$ so it's not continuous.
To see a concrete example, take $X = mathbb{R}, U = (-1,1)$ and
$$ eta(x) = begin{cases} 1 - |x| & |x| < 1,\
0 & |x| geq 1. end{cases}$$
Then $eta cdot g$ is the characteristic function of $(-1, 1)$ which is discontinuous at $x = pm 1$.
answered 9 hours ago
levaplevap
47k23273
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3071234%2fwhy-does-the-support-must-be-closed%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Imagine that you have a function $eta$ which satisfies $eta(x) neq 0$ for all $x in U$ while $eta(x) = 0$ for all $x in X setminus U$. If $X$ is connected and $U neq emptyset, X$ then such a function will satisfy ${ x in X , | , eta(x) neq 0 } = U subseteq U$ but it won't satisfy
$$ overline{ { x in X , | , eta(x) neq 0 } }= overline{U} subseteq U. $$
Take $g colon U rightarrow mathbb{R}$ to be the function $g(x) = frac{1}{eta(x)}$. Then $g$ is continuous on $U$ because $eta$ doesn't vanish on $U$ but "$eta cdot g$" is the characteristic function of $U$ so it's not continuous.
To see a concrete example, take $X = mathbb{R}, U = (-1,1)$ and
$$ eta(x) = begin{cases} 1 - |x| & |x| < 1,\
0 & |x| geq 1. end{cases}$$
Then $eta cdot g$ is the characteristic function of $(-1, 1)$ which is discontinuous at $x = pm 1$.
answered 9 hours ago
levaplevap
47k23273
$endgroup$
add a comment |
$begingroup$
Imagine that you have a function $eta$ which satisfies $eta(x) neq 0$ for all $x in U$ while $eta(x) = 0$ for all $x in X setminus U$. If $X$ is connected and $U neq emptyset, X$ then such a function will satisfy ${ x in X , | , eta(x) neq 0 } = U subseteq U$ but it won't satisfy
$$ overline{ { x in X , | , eta(x) neq 0 } }= overline{U} subseteq U. $$
Take $g colon U rightarrow mathbb{R}$ to be the function $g(x) = frac{1}{eta(x)}$. Then $g$ is continuous on $U$ because $eta$ doesn't vanish on $U$ but "$eta cdot g$" is the characteristic function of $U$ so it's not continuous.
To see a concrete example, take $X = mathbb{R}, U = (-1,1)$ and
$$ eta(x) = begin{cases} 1 - |x| & |x| < 1,\
0 & |x| geq 1. end{cases}$$
Then $eta cdot g$ is the characteristic function of $(-1, 1)$ which is discontinuous at $x = pm 1$.
answered 9 hours ago
levaplevap
47k23273
$endgroup$
add a comment |
$begingroup$
Imagine that you have a function $eta$ which satisfies $eta(x) neq 0$ for all $x in U$ while $eta(x) = 0$ for all $x in X setminus U$. If $X$ is connected and $U neq emptyset, X$ then such a function will satisfy ${ x in X , | , eta(x) neq 0 } = U subseteq U$ but it won't satisfy
$$ overline{ { x in X , | , eta(x) neq 0 } }= overline{U} subseteq U. $$
Take $g colon U rightarrow mathbb{R}$ to be the function $g(x) = frac{1}{eta(x)}$. Then $g$ is continuous on $U$ because $eta$ doesn't vanish on $U$ but "$eta cdot g$" is the characteristic function of $U$ so it's not continuous.
To see a concrete example, take $X = mathbb{R}, U = (-1,1)$ and
$$ eta(x) = begin{cases} 1 - |x| & |x| < 1,\
0 & |x| geq 1. end{cases}$$
Then $eta cdot g$ is the characteristic function of $(-1, 1)$ which is discontinuous at $x = pm 1$.
answered 9 hours ago
levaplevap
47k23273
$endgroup$
Imagine that you have a function $eta$ which satisfies $eta(x) neq 0$ for all $x in U$ while $eta(x) = 0$ for all $x in X setminus U$. If $X$ is connected and $U neq emptyset, X$ then such a function will satisfy ${ x in X , | , eta(x) neq 0 } = U subseteq U$ but it won't satisfy
$$ overline{ { x in X , | , eta(x) neq 0 } }= overline{U} subseteq U. $$
Take $g colon U rightarrow mathbb{R}$ to be the function $g(x) = frac{1}{eta(x)}$. Then $g$ is continuous on $U$ because $eta$ doesn't vanish on $U$ but "$eta cdot g$" is the characteristic function of $U$ so it's not continuous.
To see a concrete example, take $X = mathbb{R}, U = (-1,1)$ and
$$ eta(x) = begin{cases} 1 - |x| & |x| < 1,\
0 & |x| geq 1. end{cases}$$
Then $eta cdot g$ is the characteristic function of $(-1, 1)$ which is discontinuous at $x = pm 1$.
answered 9 hours ago
levaplevap
47k23273
answered 9 hours ago
levaplevap
47k23273
answered 9 hours ago
levaplevap
47k23273
answered 9 hours ago
levaplevap
47k23273
47k23273
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3071234%2fwhy-does-the-support-must-be-closed%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
You were given that $g$ was continuous as a hypothesis. Did you mean that you proved that $eta cdot g$ is continuous?
$endgroup$
– Chessanator
9 hours ago
$begingroup$
I meant that $(eta cdot g)$ is continuous yes!
$endgroup$
– HK4
8 hours ago