How to prove this expression of lower semi-continuouss?
$begingroup$
The definition of lower semi-continuous in wiki (https://en.wikipedia.org/wiki/Semi-continuity) is
begin{equation}
mathop{liminf}_{xto x_{0}} f(x)ge f(x_0).
end{equation}
However, in some books, inequality is changed to equation, i.e.
begin{equation}
mathop{liminf}_{xto x_{0}} f(x) = f(x_0).
end{equation}
I don't know the latter one is right or not, and i can't give a counterexample to prove that it is incorrect...
real-analysis convex-analysis
$endgroup$
add a comment |
$begingroup$
The definition of lower semi-continuous in wiki (https://en.wikipedia.org/wiki/Semi-continuity) is
begin{equation}
mathop{liminf}_{xto x_{0}} f(x)ge f(x_0).
end{equation}
However, in some books, inequality is changed to equation, i.e.
begin{equation}
mathop{liminf}_{xto x_{0}} f(x) = f(x_0).
end{equation}
I don't know the latter one is right or not, and i can't give a counterexample to prove that it is incorrect...
real-analysis convex-analysis
$endgroup$
add a comment |
$begingroup$
The definition of lower semi-continuous in wiki (https://en.wikipedia.org/wiki/Semi-continuity) is
begin{equation}
mathop{liminf}_{xto x_{0}} f(x)ge f(x_0).
end{equation}
However, in some books, inequality is changed to equation, i.e.
begin{equation}
mathop{liminf}_{xto x_{0}} f(x) = f(x_0).
end{equation}
I don't know the latter one is right or not, and i can't give a counterexample to prove that it is incorrect...
real-analysis convex-analysis
$endgroup$
The definition of lower semi-continuous in wiki (https://en.wikipedia.org/wiki/Semi-continuity) is
begin{equation}
mathop{liminf}_{xto x_{0}} f(x)ge f(x_0).
end{equation}
However, in some books, inequality is changed to equation, i.e.
begin{equation}
mathop{liminf}_{xto x_{0}} f(x) = f(x_0).
end{equation}
I don't know the latter one is right or not, and i can't give a counterexample to prove that it is incorrect...
real-analysis convex-analysis
real-analysis convex-analysis
asked Dec 8 '18 at 10:20
Ze-Nan LiZe-Nan Li
286
286
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
It depends on the definition of $liminf_{xto x_0}$. If you use
$$
liminf_{xto x_0} f(x) := lim_{rto 0} inf left{ f(x): d(x,x_0)<r, xne x_0 right}
$$
then strict inequality could happen. For example, the function
$$
f(x)=cases{0 &; $x=0$\ 1 &; $xinBbb Rbackslash{0}$}
$$
is lower semicontinuous at $x=0$ but $liminf_{xto 0} f(x)=1> 0 = f(0)$.
However, if your definition does not have the restriction $xne x_0$, i.e.
$$
liminf_{xto x_0} f(x) := lim_{rto 0} inf left{ f(x): d(x,x_0)<r right}
$$
then we can write $liminf_{xto x_{0}} f(x) = f(x_0)
$
because we'd have $inf left{ f(x): d(x,x_0)<r right}le f(x_0)$ which implies that the equality sign actually holds.
$endgroup$
$begingroup$
Thank you for your answer. I got it.
$endgroup$
– Ze-Nan Li
Dec 8 '18 at 12:38
$begingroup$
For some references where non-deleted neighborhoods are used in defining $limsup$ and $liminf$ (your second formulation), see my comment to Question about the definition of lim sup and lim inf on real valued functions.
$endgroup$
– Dave L. Renfro
Dec 8 '18 at 17:39
1
$begingroup$
Since my comment from 5 August 2014 didn't specify the books sufficiently for someone not already familiar with them, I'll be more specific here: Theory of Functions of a Real Variable by I. P. Natanson (Volume II, 1960, pp. 149-150) AND Theory of Functions of Real Variables by Henry P. Thielman (1953, pp. 99-100) AND Introduction to Real Functions and Orthogonal Expansions by Béla Sz.-Nagy (1965, pp. 54-58).
$endgroup$
– Dave L. Renfro
Dec 8 '18 at 17:58
$begingroup$
@DaveL.Renfro Thank you, I didn't really know the source for these different formulations. I only recalled that my professor told me about the existence of another one.
$endgroup$
– BigbearZzz
Dec 9 '18 at 10:05
$begingroup$
I might have seen this ambiguity many years ago, but in recent years I became aware of this ambiguity when I was preparing for a talk I that gave in October 2013, and at one point I spent maybe a frantic hour the day before (when I wrote the slides for the talk; before this I had only made some very brief outline notes), trying to resolve an inconsistency that I was coming up with for some basic properties of semi-continuous functions. (continued)
$endgroup$
– Dave L. Renfro
Dec 9 '18 at 10:23
|
show 2 more comments
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%2f3030924%2fhow-to-prove-this-expression-of-lower-semi-continuouss%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$
It depends on the definition of $liminf_{xto x_0}$. If you use
$$
liminf_{xto x_0} f(x) := lim_{rto 0} inf left{ f(x): d(x,x_0)<r, xne x_0 right}
$$
then strict inequality could happen. For example, the function
$$
f(x)=cases{0 &; $x=0$\ 1 &; $xinBbb Rbackslash{0}$}
$$
is lower semicontinuous at $x=0$ but $liminf_{xto 0} f(x)=1> 0 = f(0)$.
However, if your definition does not have the restriction $xne x_0$, i.e.
$$
liminf_{xto x_0} f(x) := lim_{rto 0} inf left{ f(x): d(x,x_0)<r right}
$$
then we can write $liminf_{xto x_{0}} f(x) = f(x_0)
$
because we'd have $inf left{ f(x): d(x,x_0)<r right}le f(x_0)$ which implies that the equality sign actually holds.
$endgroup$
$begingroup$
Thank you for your answer. I got it.
$endgroup$
– Ze-Nan Li
Dec 8 '18 at 12:38
$begingroup$
For some references where non-deleted neighborhoods are used in defining $limsup$ and $liminf$ (your second formulation), see my comment to Question about the definition of lim sup and lim inf on real valued functions.
$endgroup$
– Dave L. Renfro
Dec 8 '18 at 17:39
1
$begingroup$
Since my comment from 5 August 2014 didn't specify the books sufficiently for someone not already familiar with them, I'll be more specific here: Theory of Functions of a Real Variable by I. P. Natanson (Volume II, 1960, pp. 149-150) AND Theory of Functions of Real Variables by Henry P. Thielman (1953, pp. 99-100) AND Introduction to Real Functions and Orthogonal Expansions by Béla Sz.-Nagy (1965, pp. 54-58).
$endgroup$
– Dave L. Renfro
Dec 8 '18 at 17:58
$begingroup$
@DaveL.Renfro Thank you, I didn't really know the source for these different formulations. I only recalled that my professor told me about the existence of another one.
$endgroup$
– BigbearZzz
Dec 9 '18 at 10:05
$begingroup$
I might have seen this ambiguity many years ago, but in recent years I became aware of this ambiguity when I was preparing for a talk I that gave in October 2013, and at one point I spent maybe a frantic hour the day before (when I wrote the slides for the talk; before this I had only made some very brief outline notes), trying to resolve an inconsistency that I was coming up with for some basic properties of semi-continuous functions. (continued)
$endgroup$
– Dave L. Renfro
Dec 9 '18 at 10:23
|
show 2 more comments
$begingroup$
It depends on the definition of $liminf_{xto x_0}$. If you use
$$
liminf_{xto x_0} f(x) := lim_{rto 0} inf left{ f(x): d(x,x_0)<r, xne x_0 right}
$$
then strict inequality could happen. For example, the function
$$
f(x)=cases{0 &; $x=0$\ 1 &; $xinBbb Rbackslash{0}$}
$$
is lower semicontinuous at $x=0$ but $liminf_{xto 0} f(x)=1> 0 = f(0)$.
However, if your definition does not have the restriction $xne x_0$, i.e.
$$
liminf_{xto x_0} f(x) := lim_{rto 0} inf left{ f(x): d(x,x_0)<r right}
$$
then we can write $liminf_{xto x_{0}} f(x) = f(x_0)
$
because we'd have $inf left{ f(x): d(x,x_0)<r right}le f(x_0)$ which implies that the equality sign actually holds.
$endgroup$
$begingroup$
Thank you for your answer. I got it.
$endgroup$
– Ze-Nan Li
Dec 8 '18 at 12:38
$begingroup$
For some references where non-deleted neighborhoods are used in defining $limsup$ and $liminf$ (your second formulation), see my comment to Question about the definition of lim sup and lim inf on real valued functions.
$endgroup$
– Dave L. Renfro
Dec 8 '18 at 17:39
1
$begingroup$
Since my comment from 5 August 2014 didn't specify the books sufficiently for someone not already familiar with them, I'll be more specific here: Theory of Functions of a Real Variable by I. P. Natanson (Volume II, 1960, pp. 149-150) AND Theory of Functions of Real Variables by Henry P. Thielman (1953, pp. 99-100) AND Introduction to Real Functions and Orthogonal Expansions by Béla Sz.-Nagy (1965, pp. 54-58).
$endgroup$
– Dave L. Renfro
Dec 8 '18 at 17:58
$begingroup$
@DaveL.Renfro Thank you, I didn't really know the source for these different formulations. I only recalled that my professor told me about the existence of another one.
$endgroup$
– BigbearZzz
Dec 9 '18 at 10:05
$begingroup$
I might have seen this ambiguity many years ago, but in recent years I became aware of this ambiguity when I was preparing for a talk I that gave in October 2013, and at one point I spent maybe a frantic hour the day before (when I wrote the slides for the talk; before this I had only made some very brief outline notes), trying to resolve an inconsistency that I was coming up with for some basic properties of semi-continuous functions. (continued)
$endgroup$
– Dave L. Renfro
Dec 9 '18 at 10:23
|
show 2 more comments
$begingroup$
It depends on the definition of $liminf_{xto x_0}$. If you use
$$
liminf_{xto x_0} f(x) := lim_{rto 0} inf left{ f(x): d(x,x_0)<r, xne x_0 right}
$$
then strict inequality could happen. For example, the function
$$
f(x)=cases{0 &; $x=0$\ 1 &; $xinBbb Rbackslash{0}$}
$$
is lower semicontinuous at $x=0$ but $liminf_{xto 0} f(x)=1> 0 = f(0)$.
However, if your definition does not have the restriction $xne x_0$, i.e.
$$
liminf_{xto x_0} f(x) := lim_{rto 0} inf left{ f(x): d(x,x_0)<r right}
$$
then we can write $liminf_{xto x_{0}} f(x) = f(x_0)
$
because we'd have $inf left{ f(x): d(x,x_0)<r right}le f(x_0)$ which implies that the equality sign actually holds.
$endgroup$
It depends on the definition of $liminf_{xto x_0}$. If you use
$$
liminf_{xto x_0} f(x) := lim_{rto 0} inf left{ f(x): d(x,x_0)<r, xne x_0 right}
$$
then strict inequality could happen. For example, the function
$$
f(x)=cases{0 &; $x=0$\ 1 &; $xinBbb Rbackslash{0}$}
$$
is lower semicontinuous at $x=0$ but $liminf_{xto 0} f(x)=1> 0 = f(0)$.
However, if your definition does not have the restriction $xne x_0$, i.e.
$$
liminf_{xto x_0} f(x) := lim_{rto 0} inf left{ f(x): d(x,x_0)<r right}
$$
then we can write $liminf_{xto x_{0}} f(x) = f(x_0)
$
because we'd have $inf left{ f(x): d(x,x_0)<r right}le f(x_0)$ which implies that the equality sign actually holds.
answered Dec 8 '18 at 11:40
BigbearZzzBigbearZzz
8,72621652
8,72621652
$begingroup$
Thank you for your answer. I got it.
$endgroup$
– Ze-Nan Li
Dec 8 '18 at 12:38
$begingroup$
For some references where non-deleted neighborhoods are used in defining $limsup$ and $liminf$ (your second formulation), see my comment to Question about the definition of lim sup and lim inf on real valued functions.
$endgroup$
– Dave L. Renfro
Dec 8 '18 at 17:39
1
$begingroup$
Since my comment from 5 August 2014 didn't specify the books sufficiently for someone not already familiar with them, I'll be more specific here: Theory of Functions of a Real Variable by I. P. Natanson (Volume II, 1960, pp. 149-150) AND Theory of Functions of Real Variables by Henry P. Thielman (1953, pp. 99-100) AND Introduction to Real Functions and Orthogonal Expansions by Béla Sz.-Nagy (1965, pp. 54-58).
$endgroup$
– Dave L. Renfro
Dec 8 '18 at 17:58
$begingroup$
@DaveL.Renfro Thank you, I didn't really know the source for these different formulations. I only recalled that my professor told me about the existence of another one.
$endgroup$
– BigbearZzz
Dec 9 '18 at 10:05
$begingroup$
I might have seen this ambiguity many years ago, but in recent years I became aware of this ambiguity when I was preparing for a talk I that gave in October 2013, and at one point I spent maybe a frantic hour the day before (when I wrote the slides for the talk; before this I had only made some very brief outline notes), trying to resolve an inconsistency that I was coming up with for some basic properties of semi-continuous functions. (continued)
$endgroup$
– Dave L. Renfro
Dec 9 '18 at 10:23
|
show 2 more comments
$begingroup$
Thank you for your answer. I got it.
$endgroup$
– Ze-Nan Li
Dec 8 '18 at 12:38
$begingroup$
For some references where non-deleted neighborhoods are used in defining $limsup$ and $liminf$ (your second formulation), see my comment to Question about the definition of lim sup and lim inf on real valued functions.
$endgroup$
– Dave L. Renfro
Dec 8 '18 at 17:39
1
$begingroup$
Since my comment from 5 August 2014 didn't specify the books sufficiently for someone not already familiar with them, I'll be more specific here: Theory of Functions of a Real Variable by I. P. Natanson (Volume II, 1960, pp. 149-150) AND Theory of Functions of Real Variables by Henry P. Thielman (1953, pp. 99-100) AND Introduction to Real Functions and Orthogonal Expansions by Béla Sz.-Nagy (1965, pp. 54-58).
$endgroup$
– Dave L. Renfro
Dec 8 '18 at 17:58
$begingroup$
@DaveL.Renfro Thank you, I didn't really know the source for these different formulations. I only recalled that my professor told me about the existence of another one.
$endgroup$
– BigbearZzz
Dec 9 '18 at 10:05
$begingroup$
I might have seen this ambiguity many years ago, but in recent years I became aware of this ambiguity when I was preparing for a talk I that gave in October 2013, and at one point I spent maybe a frantic hour the day before (when I wrote the slides for the talk; before this I had only made some very brief outline notes), trying to resolve an inconsistency that I was coming up with for some basic properties of semi-continuous functions. (continued)
$endgroup$
– Dave L. Renfro
Dec 9 '18 at 10:23
$begingroup$
Thank you for your answer. I got it.
$endgroup$
– Ze-Nan Li
Dec 8 '18 at 12:38
$begingroup$
Thank you for your answer. I got it.
$endgroup$
– Ze-Nan Li
Dec 8 '18 at 12:38
$begingroup$
For some references where non-deleted neighborhoods are used in defining $limsup$ and $liminf$ (your second formulation), see my comment to Question about the definition of lim sup and lim inf on real valued functions.
$endgroup$
– Dave L. Renfro
Dec 8 '18 at 17:39
$begingroup$
For some references where non-deleted neighborhoods are used in defining $limsup$ and $liminf$ (your second formulation), see my comment to Question about the definition of lim sup and lim inf on real valued functions.
$endgroup$
– Dave L. Renfro
Dec 8 '18 at 17:39
1
1
$begingroup$
Since my comment from 5 August 2014 didn't specify the books sufficiently for someone not already familiar with them, I'll be more specific here: Theory of Functions of a Real Variable by I. P. Natanson (Volume II, 1960, pp. 149-150) AND Theory of Functions of Real Variables by Henry P. Thielman (1953, pp. 99-100) AND Introduction to Real Functions and Orthogonal Expansions by Béla Sz.-Nagy (1965, pp. 54-58).
$endgroup$
– Dave L. Renfro
Dec 8 '18 at 17:58
$begingroup$
Since my comment from 5 August 2014 didn't specify the books sufficiently for someone not already familiar with them, I'll be more specific here: Theory of Functions of a Real Variable by I. P. Natanson (Volume II, 1960, pp. 149-150) AND Theory of Functions of Real Variables by Henry P. Thielman (1953, pp. 99-100) AND Introduction to Real Functions and Orthogonal Expansions by Béla Sz.-Nagy (1965, pp. 54-58).
$endgroup$
– Dave L. Renfro
Dec 8 '18 at 17:58
$begingroup$
@DaveL.Renfro Thank you, I didn't really know the source for these different formulations. I only recalled that my professor told me about the existence of another one.
$endgroup$
– BigbearZzz
Dec 9 '18 at 10:05
$begingroup$
@DaveL.Renfro Thank you, I didn't really know the source for these different formulations. I only recalled that my professor told me about the existence of another one.
$endgroup$
– BigbearZzz
Dec 9 '18 at 10:05
$begingroup$
I might have seen this ambiguity many years ago, but in recent years I became aware of this ambiguity when I was preparing for a talk I that gave in October 2013, and at one point I spent maybe a frantic hour the day before (when I wrote the slides for the talk; before this I had only made some very brief outline notes), trying to resolve an inconsistency that I was coming up with for some basic properties of semi-continuous functions. (continued)
$endgroup$
– Dave L. Renfro
Dec 9 '18 at 10:23
$begingroup$
I might have seen this ambiguity many years ago, but in recent years I became aware of this ambiguity when I was preparing for a talk I that gave in October 2013, and at one point I spent maybe a frantic hour the day before (when I wrote the slides for the talk; before this I had only made some very brief outline notes), trying to resolve an inconsistency that I was coming up with for some basic properties of semi-continuous functions. (continued)
$endgroup$
– Dave L. Renfro
Dec 9 '18 at 10:23
|
show 2 more comments
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%2f3030924%2fhow-to-prove-this-expression-of-lower-semi-continuouss%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