Understanding upper and lower bounds (and supr and infin)
$begingroup$
I am following a course in discrete mathemathics and I am having great dificulty in understanding the lower, upper bounds and its lub's and glb's. This keeps me from fully understanding everything else.
Consider the set $P = {xmid xinmathbb{R} , 1 leq x < 2}$. What are the upper bounds, lower bounds, greatest lower bounds and least upper bounds?
Here is what i know.
Definition, consider the poset $A$ and its subset $B$. An element $ain A$ is called an upper bound if $bleq a$ for all $bin B$. An element $ain A$ is called an lower bound if $aleq b$ for all $bin B$.
So my first go was, that $1$ is the greatest lower bound with lower bounds $1leq x < 2$ in $P$, and there exists no upperbound since $2$ is not smaller than $2$. And since there is no upper bound, there cannot be a least upper bound.
However, this when I ONLY consider the numbers in $P$ ($P$ is the universe). If i would consider $P$ to be a subset, that is $Psubseteq (mathbb{R}, leq)$, then I would guess the least upper bound is $2$, and all upper bounds are $xin[2,infty)$. Same for lower bounds, $1$ is the greatest lower bound and $xin(-infty, 1]$ are all the lower bounds.
I think the former is totally wrong, since subset definition is not used, and the latter is partially wrong since $2$ is not contained in $P$, but it is included in my upper bounds. However, I am not sure whether or not to consider $P$ to be a subset of anything else in order to give an answer. Are there two ways to look at this problem?
In desperate need for some enlightening.
discrete-mathematics
$endgroup$
add a comment |
$begingroup$
I am following a course in discrete mathemathics and I am having great dificulty in understanding the lower, upper bounds and its lub's and glb's. This keeps me from fully understanding everything else.
Consider the set $P = {xmid xinmathbb{R} , 1 leq x < 2}$. What are the upper bounds, lower bounds, greatest lower bounds and least upper bounds?
Here is what i know.
Definition, consider the poset $A$ and its subset $B$. An element $ain A$ is called an upper bound if $bleq a$ for all $bin B$. An element $ain A$ is called an lower bound if $aleq b$ for all $bin B$.
So my first go was, that $1$ is the greatest lower bound with lower bounds $1leq x < 2$ in $P$, and there exists no upperbound since $2$ is not smaller than $2$. And since there is no upper bound, there cannot be a least upper bound.
However, this when I ONLY consider the numbers in $P$ ($P$ is the universe). If i would consider $P$ to be a subset, that is $Psubseteq (mathbb{R}, leq)$, then I would guess the least upper bound is $2$, and all upper bounds are $xin[2,infty)$. Same for lower bounds, $1$ is the greatest lower bound and $xin(-infty, 1]$ are all the lower bounds.
I think the former is totally wrong, since subset definition is not used, and the latter is partially wrong since $2$ is not contained in $P$, but it is included in my upper bounds. However, I am not sure whether or not to consider $P$ to be a subset of anything else in order to give an answer. Are there two ways to look at this problem?
In desperate need for some enlightening.
discrete-mathematics
$endgroup$
$begingroup$
You are right, P is presumed to be a subset of R.
$endgroup$
– William Elliot
Jan 8 at 22:15
$begingroup$
@WilliamElliot Thanks, i understand now.
$endgroup$
– CapitalMatters
Jan 9 at 16:32
add a comment |
$begingroup$
I am following a course in discrete mathemathics and I am having great dificulty in understanding the lower, upper bounds and its lub's and glb's. This keeps me from fully understanding everything else.
Consider the set $P = {xmid xinmathbb{R} , 1 leq x < 2}$. What are the upper bounds, lower bounds, greatest lower bounds and least upper bounds?
Here is what i know.
Definition, consider the poset $A$ and its subset $B$. An element $ain A$ is called an upper bound if $bleq a$ for all $bin B$. An element $ain A$ is called an lower bound if $aleq b$ for all $bin B$.
So my first go was, that $1$ is the greatest lower bound with lower bounds $1leq x < 2$ in $P$, and there exists no upperbound since $2$ is not smaller than $2$. And since there is no upper bound, there cannot be a least upper bound.
However, this when I ONLY consider the numbers in $P$ ($P$ is the universe). If i would consider $P$ to be a subset, that is $Psubseteq (mathbb{R}, leq)$, then I would guess the least upper bound is $2$, and all upper bounds are $xin[2,infty)$. Same for lower bounds, $1$ is the greatest lower bound and $xin(-infty, 1]$ are all the lower bounds.
I think the former is totally wrong, since subset definition is not used, and the latter is partially wrong since $2$ is not contained in $P$, but it is included in my upper bounds. However, I am not sure whether or not to consider $P$ to be a subset of anything else in order to give an answer. Are there two ways to look at this problem?
In desperate need for some enlightening.
discrete-mathematics
$endgroup$
I am following a course in discrete mathemathics and I am having great dificulty in understanding the lower, upper bounds and its lub's and glb's. This keeps me from fully understanding everything else.
Consider the set $P = {xmid xinmathbb{R} , 1 leq x < 2}$. What are the upper bounds, lower bounds, greatest lower bounds and least upper bounds?
Here is what i know.
Definition, consider the poset $A$ and its subset $B$. An element $ain A$ is called an upper bound if $bleq a$ for all $bin B$. An element $ain A$ is called an lower bound if $aleq b$ for all $bin B$.
So my first go was, that $1$ is the greatest lower bound with lower bounds $1leq x < 2$ in $P$, and there exists no upperbound since $2$ is not smaller than $2$. And since there is no upper bound, there cannot be a least upper bound.
However, this when I ONLY consider the numbers in $P$ ($P$ is the universe). If i would consider $P$ to be a subset, that is $Psubseteq (mathbb{R}, leq)$, then I would guess the least upper bound is $2$, and all upper bounds are $xin[2,infty)$. Same for lower bounds, $1$ is the greatest lower bound and $xin(-infty, 1]$ are all the lower bounds.
I think the former is totally wrong, since subset definition is not used, and the latter is partially wrong since $2$ is not contained in $P$, but it is included in my upper bounds. However, I am not sure whether or not to consider $P$ to be a subset of anything else in order to give an answer. Are there two ways to look at this problem?
In desperate need for some enlightening.
discrete-mathematics
discrete-mathematics
asked Jan 8 at 16:03
CapitalMattersCapitalMatters
83
83
$begingroup$
You are right, P is presumed to be a subset of R.
$endgroup$
– William Elliot
Jan 8 at 22:15
$begingroup$
@WilliamElliot Thanks, i understand now.
$endgroup$
– CapitalMatters
Jan 9 at 16:32
add a comment |
$begingroup$
You are right, P is presumed to be a subset of R.
$endgroup$
– William Elliot
Jan 8 at 22:15
$begingroup$
@WilliamElliot Thanks, i understand now.
$endgroup$
– CapitalMatters
Jan 9 at 16:32
$begingroup$
You are right, P is presumed to be a subset of R.
$endgroup$
– William Elliot
Jan 8 at 22:15
$begingroup$
You are right, P is presumed to be a subset of R.
$endgroup$
– William Elliot
Jan 8 at 22:15
$begingroup$
@WilliamElliot Thanks, i understand now.
$endgroup$
– CapitalMatters
Jan 9 at 16:32
$begingroup$
@WilliamElliot Thanks, i understand now.
$endgroup$
– CapitalMatters
Jan 9 at 16:32
add a comment |
0
active
oldest
votes
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%2f3066352%2funderstanding-upper-and-lower-bounds-and-supr-and-infin%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3066352%2funderstanding-upper-and-lower-bounds-and-supr-and-infin%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
$begingroup$
You are right, P is presumed to be a subset of R.
$endgroup$
– William Elliot
Jan 8 at 22:15
$begingroup$
@WilliamElliot Thanks, i understand now.
$endgroup$
– CapitalMatters
Jan 9 at 16:32