GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Embed Notice

HTML Code

Corresponding Notice

  1. Embed this notice
    CEO of Monoeye Dating (ceo_of_monoeye_dating@lab.nyanide.com)'s status on Wednesday, 13-Mar-2024 09:25:14 JSTCEO of Monoeye DatingCEO of Monoeye Dating
    in reply to
    • Jeff "never puts away anything, especially oven mitts" Cliff, Bringer of Nightmares 🦝🐙🇱🇧🧯
    • Plotin Groyp
    @jeffcliff @plotinusgroyper Oh, this is a strong misunderstanding of how these things are built but that's normal for someone who hasn't studied it extensively.

    The standard way we construct the Complex Numbers *normally* goes kinda like this:

    1) Start with the Natural Numbers (built somehow using set theory).
    2) Build the Integers by giving the Natural Numbers a group structure (additive inverses, a zero, and addition)
    3) Build the Rational Numbers by giving the Integers a field structure (multiplication, multiplicative inverses, and a one.)
    4) Build the Real Numbers by Dedekind Cuts or similar
    5) Build the Complex Numbers as the Algebraic Closure of the Reals (Add in all of the roots of polynomials which have real coefficients).

    We don't "start" with the Complex Numbers, we actually do build them from other parts. I don't actually see how you'd build the Complex Numbers *other* than as the Algebraic Closure of the Reals.
    In conversationabout a year ago from bae.stpermalink
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.