Definition talk:Magma of Sets

Hi LF. I hope you don't mind these questions.

Question 1 (an obvious one)

Is this line:


 * $\phi_i: \mathcal P \left({X}\right)^{J_i} \to P \left({X}\right)$

supposed to be:


 * $\phi_i: \mathcal P \left({X}\right)^{J_i} \to \mathcal P \left({X}\right)$

Question 2

On lines 7 and 8 you present the defining conditions for a magma of sets. On line 9 you give a logically equivalent definition that on the surface seems miles easier to understand. But I've never come across this.

What do you mean by a set being closed under a mapping?

I am trying to understand this concept using finite $\sigma$ algebras. It's very difficult.

Please understand that I'm not making hard work for you. I just seek to see what you see. --Jshflynn (talk) 22:31, 2 October 2012 (UTC)


 * 1. Yes; good catch. 2. I mean with '$S$ is closed under $\phi_i$' that, upon feeding $\phi_i$ with only elements from $S$, it spits out an element of $S$. So if $S$ were to be a $\sigma$-algebra, it would need to be closed under the mappings "intersection", "countable union" and the constant mapping with image $X$.
 * I'd be glad if answering this questions opened at least one person's eyes for this concept (which is like an abstraction of algebraic structure). The condition that the $\phi_i$ are only partial mappings is to ensure that things like $\lim_{n \to \infty}$ could be included as well. --Lord_Farin (talk) 22:16, 3 October 2012 (UTC)


 * Technically, the concept of closure in this specific context has not been created yet. The more specialised ones of closed under an operation and closed for scalar product are just instances of the more general "closed under a mapping", but the latter concept still needs to be specified. Interestingly, although most texts are conscientious about making sure Definition:Closure (Abstract Algebra)/Algebraic Structure is defined as precisely as you like, the associated concept of $\phi \left({S}\right) \subseteq S$ is taken as understood. --prime mover (talk) 05:19, 4 October 2012 (UTC)


 * By looking at the examples provided the concept has just about sunk in. Instances of MoS are everywhere. It describes nearly every space and structure I've seen. Was the partial mapping condition also intended to account for fields and vector spaces? It's very elegant. When you say that an intersection of a magma of sets is a magma of sets what does this say about $\left( X, \circ \right)$ in relation to the induced magma of sets $\left( \mathcal P \left( X \right), \circ_\mathcal{P} \right)$?


 * Also, PM I don't think most people learn the connection between a relation, function and operation. It is curious. Also (just saying) I dislike giving something a name and THEN proving that the name is justified. But that's how it goes... --Jshflynn (talk) 13:51, 4 October 2012 (UTC)


 * I haven't come round to trying to define vector spaces as magmas of sets. The induced operation analogy gives a universal proof that the intersection of substructures is again a substructure. We can define substructures by their power sets being magmas of sets inside the large power set. Conversely, those $A \subseteq \mathcal P \left({X}\right)$ with $\mathcal P \left({\bigcup A}\right) = A$ correspond to power sets of subsets. Coming back to VSp.; I think they can be described as MoS on the disjoint union of space/abelian group and underlying field/ring. I think it also can be employed to encompass the notion of an action of a group/monoid on a set. To me, these constructions appear rather artificial; it may also be that they do not have an if and only if correspondence with the concept they describe. --Lord_Farin (talk) 14:05, 4 October 2012 (UTC)

Topology as Magma of Sets
Couldn't one just take $I = 2$, $J_0 = 1$, and $J_1 = \mathcal P \left({X}\right)$? --abcxyz (talk) 23:25, 4 October 2012 (UTC)


 * No, for it is all too common to construct open covers by taking an open nbhd of each point. But I may have missed your point, since there are three conditions for a topology. Could you please explain it further? --Lord_Farin (talk) 06:04, 5 October 2012 (UTC)