[Yotuel]

Hola, una pregunta sencilla: En la definicion de multiconjunto estará permitida que la función m tome el valor cero? O sea ¿Puede ser el número de elementos de  un multiconjunto menor que el cardinal del conjunto subyacente?
Según la wikipedia:
En teoría de conjuntos, un multiconjunto se define como el par \( (A, m) \) donde \( A \) es un conjunto y \( m : A\to \Bbb N \) es una función de \( A \) a \( \Bbb N \) (números naturales). \( A \) se conoce como el conjunto subyacente de elementos. Para cada \( a \) de \( A \), la multiplicidad de \( a \) es el número \( m(a) \).
Gracias.

[delmar]

Hola

Hola, una pregunta sencilla: En la definicion de multiconjunto estará permitida que la función m tome el valor cero? O sea ¿Puede ser el número de elementos de  un multiconjunto menor que el cardinal del conjunto subyacente?
Según la wikipedia:
En teoría de conjuntos, un multiconjunto se define como el par (A, m) donde A es un conjunto y m : A → N es una función de A a N (números naturales). A se conoce como el conjunto subyacente de elementos. Para cada a de A, la multiplicidad de a es el número m(a).
Gracias.

La definición es clara el dominio de la función multiplicidad es el conjunto subyacente A y esta formado por objetos que por lo menos lo constituyen una vez, la multiplicidad ha de ser mayor o igual que 1


Saludos

[Luis Fuentes]

Hola

Hola, una pregunta sencilla: En la definicion de multiconjunto estará permitida que la función m tome el valor cero? O sea ¿Puede ser el número de elementos de  un multiconjunto menor que el cardinal del conjunto subyacente?
Según la wikipedia:
En teoría de conjuntos, un multiconjunto se define como el par \( (A, m) \) donde \( A \) es un conjunto y \( m : A\to \Bbb N \) es una función de \( A \) a \( \Bbb N \) (números naturales). \( A \) se conoce como el conjunto subyacente de elementos. Para cada \( a \) de \( A \), la multiplicidad de \( a \) es el número \( m(a) \).
Gracias.

De hecho si se considera el cero natural, en la definición debe de ponerse \( m : A\to \Bbb N^+ \) ó \( \Bbb Z^+ \). Es decir sólo se consideran en el conjunto final los enteros positivos.

Saludos.

[Yotuel]

Genial. Muchas gracias por la aclaración.