Definition of Order in real Analysis Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Ways to visualize the real numbers?Coding Forcing Notions by Ordinal Numbers: A Possible Approach to Shelah-Foreman-Magidor ConjectureJava comparator documentation: confused about the terminology “total order.”Need help proving this lexicographic relation is a partial orderHow to reconcile these three definitions of an order?Confused about the meaning of the term “Order Relation”Orders, Partial Orders, Strict Partial Orders, Total Orders, Strict Total Orders, and Strict OrdersRadii of Neighborhoods with non-Real Distance MetricInconsistency related to the definition of net/directed set in Kelley's General TopologyOrder relation and the same order type

How much damage would a cupful of neutron star matter do to the Earth?

Do wooden building fires get hotter than 600°C?

Trademark violation for app?

How come Sam didn't become Lord of Horn Hill?

Take 2! Is this homebrew Lady of Pain warlock patron balanced?

Why is Nikon 1.4g better when Nikon 1.8g is sharper?

What is the difference between globalisation and imperialism?

What initially awakened the Balrog?

How does light 'choose' between wave and particle behaviour?

Can the Great Weapon Master feat's damage bonus and accuracy penalty apply to attacks from the Spiritual Weapon spell?

A term for a woman complaining about things/begging in a cute/childish way

Effects on objects due to a brief relocation of massive amounts of mass

What does it mean that physics no longer uses mechanical models to describe phenomena?

How to tell that you are a giant?

An adverb for when you're not exaggerating

As a beginner, should I get a Squier Strat with a SSS config or a HSS?

How to write the following sign?

If Windows 7 doesn't support WSL, then what does Linux subsystem option mean?

AppleTVs create a chatty alternate WiFi network

How would a mousetrap for use in space work?

Should I follow up with an employee I believe overracted to a mistake I made?

Generate an RGB colour grid

The code below, is it ill-formed NDR or is it well formed?

Time to Settle Down!



Definition of Order in real Analysis



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Ways to visualize the real numbers?Coding Forcing Notions by Ordinal Numbers: A Possible Approach to Shelah-Foreman-Magidor ConjectureJava comparator documentation: confused about the terminology “total order.”Need help proving this lexicographic relation is a partial orderHow to reconcile these three definitions of an order?Confused about the meaning of the term “Order Relation”Orders, Partial Orders, Strict Partial Orders, Total Orders, Strict Total Orders, and Strict OrdersRadii of Neighborhoods with non-Real Distance MetricInconsistency related to the definition of net/directed set in Kelley's General TopologyOrder relation and the same order type










0












$begingroup$


In Walter Rudin's Principle of Mathematical Analysis 3ed, what's the difference between $<$ sign, which is used to denote the order relation and $<$ sign, which is used to compare $x$ and $y$ in first property in the definition 1.5 (i.e order's definition) ? My main problem is that i think order is the definition of $<$ (i.e operator which is used to compare two numbers) but how can the same operator (or relation, I don't know) $<$ (bottom red circle in image i attached) is used to define the same thing (top red circle in the image i attached)
Definition 1.5?. What is the definition of $<$ sign used to compare two real numbers?










share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    Could you give a bit more detail? Maybe quote the passages where these symbols come up?
    $endgroup$
    – Sambo
    Apr 1 at 18:39










  • $begingroup$
    We have $x<y$ for real numbers and $xprec y$ for order relations.
    $endgroup$
    – Dietrich Burde
    Apr 1 at 18:40






  • 1




    $begingroup$
    Where in Rudin do you see the $prec$ symbol? I can't find it.
    $endgroup$
    – Hans Lundmark
    Apr 1 at 19:28















0












$begingroup$


In Walter Rudin's Principle of Mathematical Analysis 3ed, what's the difference between $<$ sign, which is used to denote the order relation and $<$ sign, which is used to compare $x$ and $y$ in first property in the definition 1.5 (i.e order's definition) ? My main problem is that i think order is the definition of $<$ (i.e operator which is used to compare two numbers) but how can the same operator (or relation, I don't know) $<$ (bottom red circle in image i attached) is used to define the same thing (top red circle in the image i attached)
Definition 1.5?. What is the definition of $<$ sign used to compare two real numbers?










share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    Could you give a bit more detail? Maybe quote the passages where these symbols come up?
    $endgroup$
    – Sambo
    Apr 1 at 18:39










  • $begingroup$
    We have $x<y$ for real numbers and $xprec y$ for order relations.
    $endgroup$
    – Dietrich Burde
    Apr 1 at 18:40






  • 1




    $begingroup$
    Where in Rudin do you see the $prec$ symbol? I can't find it.
    $endgroup$
    – Hans Lundmark
    Apr 1 at 19:28













0












0








0


1



$begingroup$


In Walter Rudin's Principle of Mathematical Analysis 3ed, what's the difference between $<$ sign, which is used to denote the order relation and $<$ sign, which is used to compare $x$ and $y$ in first property in the definition 1.5 (i.e order's definition) ? My main problem is that i think order is the definition of $<$ (i.e operator which is used to compare two numbers) but how can the same operator (or relation, I don't know) $<$ (bottom red circle in image i attached) is used to define the same thing (top red circle in the image i attached)
Definition 1.5?. What is the definition of $<$ sign used to compare two real numbers?










share|cite|improve this question











$endgroup$




In Walter Rudin's Principle of Mathematical Analysis 3ed, what's the difference between $<$ sign, which is used to denote the order relation and $<$ sign, which is used to compare $x$ and $y$ in first property in the definition 1.5 (i.e order's definition) ? My main problem is that i think order is the definition of $<$ (i.e operator which is used to compare two numbers) but how can the same operator (or relation, I don't know) $<$ (bottom red circle in image i attached) is used to define the same thing (top red circle in the image i attached)
Definition 1.5?. What is the definition of $<$ sign used to compare two real numbers?







real-analysis order-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Apr 3 at 15:13







Soham Gadhave

















asked Apr 1 at 18:35









Soham GadhaveSoham Gadhave

83




83







  • 1




    $begingroup$
    Could you give a bit more detail? Maybe quote the passages where these symbols come up?
    $endgroup$
    – Sambo
    Apr 1 at 18:39










  • $begingroup$
    We have $x<y$ for real numbers and $xprec y$ for order relations.
    $endgroup$
    – Dietrich Burde
    Apr 1 at 18:40






  • 1




    $begingroup$
    Where in Rudin do you see the $prec$ symbol? I can't find it.
    $endgroup$
    – Hans Lundmark
    Apr 1 at 19:28












  • 1




    $begingroup$
    Could you give a bit more detail? Maybe quote the passages where these symbols come up?
    $endgroup$
    – Sambo
    Apr 1 at 18:39










  • $begingroup$
    We have $x<y$ for real numbers and $xprec y$ for order relations.
    $endgroup$
    – Dietrich Burde
    Apr 1 at 18:40






  • 1




    $begingroup$
    Where in Rudin do you see the $prec$ symbol? I can't find it.
    $endgroup$
    – Hans Lundmark
    Apr 1 at 19:28







1




1




$begingroup$
Could you give a bit more detail? Maybe quote the passages where these symbols come up?
$endgroup$
– Sambo
Apr 1 at 18:39




$begingroup$
Could you give a bit more detail? Maybe quote the passages where these symbols come up?
$endgroup$
– Sambo
Apr 1 at 18:39












$begingroup$
We have $x<y$ for real numbers and $xprec y$ for order relations.
$endgroup$
– Dietrich Burde
Apr 1 at 18:40




$begingroup$
We have $x<y$ for real numbers and $xprec y$ for order relations.
$endgroup$
– Dietrich Burde
Apr 1 at 18:40




1




1




$begingroup$
Where in Rudin do you see the $prec$ symbol? I can't find it.
$endgroup$
– Hans Lundmark
Apr 1 at 19:28




$begingroup$
Where in Rudin do you see the $prec$ symbol? I can't find it.
$endgroup$
– Hans Lundmark
Apr 1 at 19:28










1 Answer
1






active

oldest

votes


















1












$begingroup$

In that passage Rudin is defining what it means for a relation to be called an order relation. Any symbol there will do. When you read that definition, imagine replace the "$<$" by "$R$".



There are many relations that satisfy those properties. For example, the set $S$ might be the set of words in the English alphabet, and $R$ the relation "comes earlier in the dictionary".



The example that will be of the most use to Rudin is the one where $S$ is the set of real numbers and $R$ is the ordinary numerical relation "is smaller than".



Rudin provides this abstract definition because he may want to reason about order relations in general, not just the one you know about for numbers.






share|cite|improve this answer









$endgroup$













    Your Answer








    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
    );



    );













    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3170974%2fdefinition-of-order-in-real-analysis%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









    1












    $begingroup$

    In that passage Rudin is defining what it means for a relation to be called an order relation. Any symbol there will do. When you read that definition, imagine replace the "$<$" by "$R$".



    There are many relations that satisfy those properties. For example, the set $S$ might be the set of words in the English alphabet, and $R$ the relation "comes earlier in the dictionary".



    The example that will be of the most use to Rudin is the one where $S$ is the set of real numbers and $R$ is the ordinary numerical relation "is smaller than".



    Rudin provides this abstract definition because he may want to reason about order relations in general, not just the one you know about for numbers.






    share|cite|improve this answer









    $endgroup$

















      1












      $begingroup$

      In that passage Rudin is defining what it means for a relation to be called an order relation. Any symbol there will do. When you read that definition, imagine replace the "$<$" by "$R$".



      There are many relations that satisfy those properties. For example, the set $S$ might be the set of words in the English alphabet, and $R$ the relation "comes earlier in the dictionary".



      The example that will be of the most use to Rudin is the one where $S$ is the set of real numbers and $R$ is the ordinary numerical relation "is smaller than".



      Rudin provides this abstract definition because he may want to reason about order relations in general, not just the one you know about for numbers.






      share|cite|improve this answer









      $endgroup$















        1












        1








        1





        $begingroup$

        In that passage Rudin is defining what it means for a relation to be called an order relation. Any symbol there will do. When you read that definition, imagine replace the "$<$" by "$R$".



        There are many relations that satisfy those properties. For example, the set $S$ might be the set of words in the English alphabet, and $R$ the relation "comes earlier in the dictionary".



        The example that will be of the most use to Rudin is the one where $S$ is the set of real numbers and $R$ is the ordinary numerical relation "is smaller than".



        Rudin provides this abstract definition because he may want to reason about order relations in general, not just the one you know about for numbers.






        share|cite|improve this answer









        $endgroup$



        In that passage Rudin is defining what it means for a relation to be called an order relation. Any symbol there will do. When you read that definition, imagine replace the "$<$" by "$R$".



        There are many relations that satisfy those properties. For example, the set $S$ might be the set of words in the English alphabet, and $R$ the relation "comes earlier in the dictionary".



        The example that will be of the most use to Rudin is the one where $S$ is the set of real numbers and $R$ is the ordinary numerical relation "is smaller than".



        Rudin provides this abstract definition because he may want to reason about order relations in general, not just the one you know about for numbers.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Apr 3 at 15:22









        Ethan BolkerEthan Bolker

        46.3k555121




        46.3k555121



























            draft saved

            draft discarded
















































            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.




            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3170974%2fdefinition-of-order-in-real-analysis%23new-answer', 'question_page');

            );

            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







            Popular posts from this blog

            Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

            Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

            Հադիս Բովանդակություն Անվանում և նշանակություն | Դասակարգում | Աղբյուրներ | Նավարկման ցանկ