Strange problem about minimal and maximal elements?Determining minimal and maximal elements in products of partial ordersQuestion about Hausdorff Maximal principle and antichainWidth of a product of chainsOn the maximal generator of integral stochastic ordersSubset of infinite partially-ordered powerset may not have maximal or minimal elementsCountability of minimal and maximal elements.Ordered set and minimal elementWell ordering and maximal chains in power setFind the minimal and maximal elements of $P^*$?
How can a demon take control of a human body during REM sleep?
Computation logic of Partway in TikZ
Do black holes violate the conservation of mass?
How do I increase the number of TTY consoles?
Are these two graphs isomorphic? Why/Why not?
Automaton recognizing ambiguously accepted words of another automaton
I reported the illegal activity of my boss to his boss. My boss found out. Now I am being punished. What should I do?
Was it really inappropriate to write a pull request for the company I interviewed with?
Short scifi story where reproductive organs are converted to produce "materials", pregnant protagonist is "found fit" to be a mother
Why does Central Limit Theorem break down in my simulation?
Help! My Character is too much for her story!
Why do we say 'Pairwise Disjoint', rather than 'Disjoint'?
What will happen if my luggage gets delayed?
Are small insurances worth it?
If sound is a longitudinal wave, why can we hear it if our ears aren't aligned with the propagation direction?
Does an unused member variable take up memory?
Can I negotiate a patent idea for a raise, under French law?
Rationale to prefer local variables over instance variables?
Why restrict private health insurance?
Is there a logarithm base for which the logarithm becomes an identity function?
Why aren't there more Gauls like Obelix?
Trocar background-image com delay via jQuery
Cycles on the torus
Having the player face themselves after the mid-game
Strange problem about minimal and maximal elements?
Determining minimal and maximal elements in products of partial ordersQuestion about Hausdorff Maximal principle and antichainWidth of a product of chainsOn the maximal generator of integral stochastic ordersSubset of infinite partially-ordered powerset may not have maximal or minimal elementsCountability of minimal and maximal elements.Ordered set and minimal elementWell ordering and maximal chains in power setFind the minimal and maximal elements of $P^*$?
$begingroup$
I have the following problem:
Let $X=2, 3, 4, 5, ldots$ be ordered by division, that is:
$$xleq yLeftrightarrow xmid y,$$
and let $mathcalS=(A, leq_A): Asubset X$ where $leq_A$ is the order induced on $A$ by $leq$ via restriction. Then we can order $mathcalS$ via inclusion, that is:
$$Aleq_mathcalS BLeftrightarrow Asubset B.$$
Find the minimal and maximal elements of $mathcalS$ via $leq_mathcalS$.
What I don't understand about this problem is: why should one consider $mathcalS$ as subsets of $X$ ordered by the induced order? I mean, why can't it just be: Let $mathcalS$ be the subsets of $X$ ordered by inclusion?
The minimal elements should be the unitary sets and the maximal element should be $X$, right?
abstract-algebra order-theory
$endgroup$
add a comment |
$begingroup$
I have the following problem:
Let $X=2, 3, 4, 5, ldots$ be ordered by division, that is:
$$xleq yLeftrightarrow xmid y,$$
and let $mathcalS=(A, leq_A): Asubset X$ where $leq_A$ is the order induced on $A$ by $leq$ via restriction. Then we can order $mathcalS$ via inclusion, that is:
$$Aleq_mathcalS BLeftrightarrow Asubset B.$$
Find the minimal and maximal elements of $mathcalS$ via $leq_mathcalS$.
What I don't understand about this problem is: why should one consider $mathcalS$ as subsets of $X$ ordered by the induced order? I mean, why can't it just be: Let $mathcalS$ be the subsets of $X$ ordered by inclusion?
The minimal elements should be the unitary sets and the maximal element should be $X$, right?
abstract-algebra order-theory
$endgroup$
1
$begingroup$
Can you give us a reference for this question?
$endgroup$
– user26857
yesterday
$begingroup$
But $mathcal S$ is indeed ordered by inclusion. The elements of $mathcal S$, which are subsets of $X$ are the ones which are ordered by the order induced from $X$ by inclusion. About the other question, if $varnothing$ is an element of $mathcal S$ (and so it seems), then it is the only minimal element; the only maximal one is $X$, as you suspected.
$endgroup$
– amrsa
yesterday
add a comment |
$begingroup$
I have the following problem:
Let $X=2, 3, 4, 5, ldots$ be ordered by division, that is:
$$xleq yLeftrightarrow xmid y,$$
and let $mathcalS=(A, leq_A): Asubset X$ where $leq_A$ is the order induced on $A$ by $leq$ via restriction. Then we can order $mathcalS$ via inclusion, that is:
$$Aleq_mathcalS BLeftrightarrow Asubset B.$$
Find the minimal and maximal elements of $mathcalS$ via $leq_mathcalS$.
What I don't understand about this problem is: why should one consider $mathcalS$ as subsets of $X$ ordered by the induced order? I mean, why can't it just be: Let $mathcalS$ be the subsets of $X$ ordered by inclusion?
The minimal elements should be the unitary sets and the maximal element should be $X$, right?
abstract-algebra order-theory
$endgroup$
I have the following problem:
Let $X=2, 3, 4, 5, ldots$ be ordered by division, that is:
$$xleq yLeftrightarrow xmid y,$$
and let $mathcalS=(A, leq_A): Asubset X$ where $leq_A$ is the order induced on $A$ by $leq$ via restriction. Then we can order $mathcalS$ via inclusion, that is:
$$Aleq_mathcalS BLeftrightarrow Asubset B.$$
Find the minimal and maximal elements of $mathcalS$ via $leq_mathcalS$.
What I don't understand about this problem is: why should one consider $mathcalS$ as subsets of $X$ ordered by the induced order? I mean, why can't it just be: Let $mathcalS$ be the subsets of $X$ ordered by inclusion?
The minimal elements should be the unitary sets and the maximal element should be $X$, right?
abstract-algebra order-theory
abstract-algebra order-theory
edited yesterday
user26857
39.3k124183
39.3k124183
asked yesterday
PtFPtF
4,04821734
4,04821734
1
$begingroup$
Can you give us a reference for this question?
$endgroup$
– user26857
yesterday
$begingroup$
But $mathcal S$ is indeed ordered by inclusion. The elements of $mathcal S$, which are subsets of $X$ are the ones which are ordered by the order induced from $X$ by inclusion. About the other question, if $varnothing$ is an element of $mathcal S$ (and so it seems), then it is the only minimal element; the only maximal one is $X$, as you suspected.
$endgroup$
– amrsa
yesterday
add a comment |
1
$begingroup$
Can you give us a reference for this question?
$endgroup$
– user26857
yesterday
$begingroup$
But $mathcal S$ is indeed ordered by inclusion. The elements of $mathcal S$, which are subsets of $X$ are the ones which are ordered by the order induced from $X$ by inclusion. About the other question, if $varnothing$ is an element of $mathcal S$ (and so it seems), then it is the only minimal element; the only maximal one is $X$, as you suspected.
$endgroup$
– amrsa
yesterday
1
1
$begingroup$
Can you give us a reference for this question?
$endgroup$
– user26857
yesterday
$begingroup$
Can you give us a reference for this question?
$endgroup$
– user26857
yesterday
$begingroup$
But $mathcal S$ is indeed ordered by inclusion. The elements of $mathcal S$, which are subsets of $X$ are the ones which are ordered by the order induced from $X$ by inclusion. About the other question, if $varnothing$ is an element of $mathcal S$ (and so it seems), then it is the only minimal element; the only maximal one is $X$, as you suspected.
$endgroup$
– amrsa
yesterday
$begingroup$
But $mathcal S$ is indeed ordered by inclusion. The elements of $mathcal S$, which are subsets of $X$ are the ones which are ordered by the order induced from $X$ by inclusion. About the other question, if $varnothing$ is an element of $mathcal S$ (and so it seems), then it is the only minimal element; the only maximal one is $X$, as you suspected.
$endgroup$
– amrsa
yesterday
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%2f3140486%2fstrange-problem-about-minimal-and-maximal-elements%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%2f3140486%2fstrange-problem-about-minimal-and-maximal-elements%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$
Can you give us a reference for this question?
$endgroup$
– user26857
yesterday
$begingroup$
But $mathcal S$ is indeed ordered by inclusion. The elements of $mathcal S$, which are subsets of $X$ are the ones which are ordered by the order induced from $X$ by inclusion. About the other question, if $varnothing$ is an element of $mathcal S$ (and so it seems), then it is the only minimal element; the only maximal one is $X$, as you suspected.
$endgroup$
– amrsa
yesterday