Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Closure in Topology and Algebra

  1. Jan 2, 2013 #1
    In topology, when we say a set is closed, it means it contains all of its limit points

    In Algebra closure of S under * is defined as if a, b are in S then a*b is in S.

    Are these notations similar in any way?
     
    Last edited: Jan 2, 2013
  2. jcsd
  3. Jan 2, 2013 #2
    Closed UNDER ADDITION or closed UNDER MULTIPLICATION.

    Vs just closed. Don't think they're necessarily related.
     
  4. Jan 2, 2013 #3
    Or closed under the group operator *.

    So they are not related. The question just crossed my mind.
     
  5. Jan 2, 2013 #4

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    There is some vague relation between the two.

    For example, given a group G, you can look at all the sets closed under *. Call [itex]\mathbb{C}[/itex] the sets closed under the multiplication. Then we have some eerily familiar properties:

    • [itex]\emptyset, G\in \mathcal{C}[/itex]
    • If [itex]C_i\in \mathcal{C}[/itex] for all [itex]i\in I[/itex], then [itex]\bigcap_{i\in I} C_i\in \mathcal{C}[/itex]

    The only difference here is that the union of two sets in [itex]\mathcal{C}[/itex] need not be in [itex]\mathcal{C}[/itex].

    So you see that the closed sets in topology and the closed sets in algebra have some quite similar properties.

    Here is more information: http://en.wikipedia.org/wiki/Closure_operator
     
  6. Jan 2, 2013 #5
    Cool..Thanks.
     
  7. Jan 4, 2013 #6
    In algebra "closed under the operator *" and the like are actually redundant. If you consider an operator as a function, it's automatically closed on its domain.

    (Just be wary of things like division. On the real numbers / is actually defined as a function R x (R-{0}) -> R).
     
  8. Jan 4, 2013 #7
    It's not redundant at all. How would you define the notion of a subgroup (or any other sub-object) without mentioning closure?
     
  9. Jan 4, 2013 #8
    I could see how the word closure is still useful there.

    Just to be clear, though, in the definition of a group on its own, it is strictly redundant:

    The fact that the domain is G x G and the codomain of * is G implies that * is closed.

    For a subgroup (U, **), you have to show that ** a "subfunction" of * with type U x U -> U. I'll concede using the term closure is a concise way of doing this.
     
  10. Jan 4, 2013 #9

    mathwonk

    User Avatar
    Science Advisor
    Homework Helper

    the word "closed" generally means that the result of performing a certain operation lands you back in the same set you started in. The operation referred to can vary. In algebra the operation is addition or multiplication or whatever, and in topology it means taking limits. so an additive submonoid is closed under taking sums, an additive subgroup is closed under sums and differences, a closed set in a topological space is closed under taking limits......
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Closure in Topology and Algebra
  1. Boundary and closure (Replies: 1)

Loading...