Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Interesting cases would be

$A=[1,1], B=[2]$

$[(a,b) \mid a \in A \wedge b \in B] = [(1,2),(1,2)]$ ?

or

$C=[1,2,3]$

$[x \mid c \in C \wedge x = c \mod 2] = [1,0,1]$ ?

The only kind of informal definition for multiset-builder notation I could find was a part in the preliminaries section of A Potpourri of Reason Maintenance Methods.

Are there other (more rigorous) studies on that topic?

share|improve this question
1  
Unless you're developing multiset-theoretic foundations for mathematics, you don't really need a formal theory: you just a syntax and how to interpret it. –  Hurkyl Feb 23 '13 at 15:30
    
Right, it just came to my mind that the heading is a bit unfortunate, and the theory is just multiset theory with notations on top of that. Edit: I changed the heading. –  neo Feb 23 '13 at 15:31

1 Answer 1

I'd like to describe a notation I used myself a bit. It's really straight-forward and is quite useful for certain cases.

$A = \{1,2,3\}, B=[1,1,2]$

$[x_{[y]} \mid x \in A \wedge y=2x] = [1,1,2,2,2,2,3,3,3,3,3,3]$

$[x_{[2n]} \mid x \in^n B] = [1,1,1,1,2,2]$

So, in general, $[x_{[y]} \mid P(x,y)]$ is the multiset of all elements $x$ with multiplicity $y$ that satisfy the predicate $P(x,y)$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.