AbstractLet $$\mu $$
μ
be a purely atomic finite measure. Without loss of generality we may assume that $$\mu $$
μ
is defined on $${\mathbb {N}}$$
N
, and the atoms with smaller indexes have larger masses, that is $$\mu (\{k\})\ge \mu (\{k+1\})$$
μ
(
{
k
}
)
≥
μ
(
{
k
+
1
}
)
for $$k\in {\mathbb {N}}$$
k
∈
N
. By $$f_\mu :[0,\infty )\rightarrow \{0,1,2,\dots ,\omega ,{\mathfrak {c}}\}$$
f
μ
:
[
0
,
∞
)
→
{
0
,
1
,
2
,
⋯
,
ω
,
c
}
we denote its cardinal function $$f_{\mu }(t)=\vert \{A\subset {\mathbb {N}}:\mu (A)=t\}\vert $$
f
μ
(
t
)
=
|
{
A
⊂
N
:
μ
(
A
)
=
t
}
|
. We study the problem for which sets $$R\subset \{0,1,2,\dots ,\omega ,{\mathfrak {c}}\}$$
R
⊂
{
0
,
1
,
2
,
⋯
,
ω
,
c
}
there is a measure $$\mu $$
μ
such that $$R=\text {rng}(f_\mu )$$
R
=
rng
(
f
μ
)
. We are also interested in the set-theoretic and topological properties of the set of $$\mu $$
μ
-values which are obtained uniquely.