Skip to main content
Post Closed as "Not suitable for this site" by Alex M., Martin Rubey, Sean Eberhard, Alec Rhea, Mark Wildon
Proofreading
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

I understand that a combinatorial class $\mathcal{A}$ is a set of objects, with a function of size $|\cdot|_{\mathcal{A}}:\mathcal{A}\to \mathbb{N}$$\lvert\cdot\rvert_{\mathcal{A}}:\mathcal{A}\to \mathbb{N}$. With objects of size n$n$: $\mathcal{A}_n=\{\alpha\in\mathcal{A}\;:\; |\alpha|_{\mathcal{A}}=n\}$$\mathcal{A}_n=\{\alpha\in\mathcal{A}\;:\; \lvert\alpha\rvert_{\mathcal{A}}=n\}$, and a condition of finitude $\#\mathcal{A}_n<\infty$.

In a book "Introduction to Combinatorial Enummeration"Enumeration" by DvidDavid G. Wagner chapter 11, I came across the term "class of structures", and they define it as:

A class $\mathcal{A}$ associated with a finite set $X$ is another finite set $\mathcal{A}_X$, such that isif $X$ and $Y$ are finite sets:

If $X\neq Y$ then $\mathcal{A}_X\cap \mathcal{A}_Y=\emptyset$.

If $X$ and $Y$ are finite sets with $|X|=|Y|$$\lvert X\rvert=\lvert Y\rvert$, then $|\mathcal{A}_X|=|\mathcal{A}_Y|$$\lvert\mathcal{A}_X\rvert=\lvert\mathcal{A}_Y\rvert$.

My question is whether these two definitions refer to the same thing. I am somewhat confused.

I understand that a combinatorial class $\mathcal{A}$ is a set of objects, with a function of size $|\cdot|_{\mathcal{A}}:\mathcal{A}\to \mathbb{N}$. With objects of size n: $\mathcal{A}_n=\{\alpha\in\mathcal{A}\;:\; |\alpha|_{\mathcal{A}}=n\}$, and a condition of finitude $\#\mathcal{A}_n<\infty$.

In a book "Introduction to Combinatorial Enummeration" by Dvid G. Wagner chapter 11, I came across the term "class of structures", and they define it as:

A class $\mathcal{A}$ associated with a finite set $X$ is another finite set $\mathcal{A}_X$, such that is $X$ and $Y$ are finite sets:

If $X\neq Y$ then $\mathcal{A}_X\cap \mathcal{A}_Y=\emptyset$.

If $X$ and $Y$ are finite sets with $|X|=|Y|$, then $|\mathcal{A}_X|=|\mathcal{A}_Y|$.

My question is whether these two definitions refer to the same thing. I am somewhat confused

I understand that a combinatorial class $\mathcal{A}$ is a set of objects, with a function of size $\lvert\cdot\rvert_{\mathcal{A}}:\mathcal{A}\to \mathbb{N}$. With objects of size $n$: $\mathcal{A}_n=\{\alpha\in\mathcal{A}\;:\; \lvert\alpha\rvert_{\mathcal{A}}=n\}$, and a condition of finitude $\#\mathcal{A}_n<\infty$.

In a book "Introduction to Combinatorial Enumeration" by David G. Wagner chapter 11, I came across the term "class of structures", and they define it as:

A class $\mathcal{A}$ associated with a finite set $X$ is another finite set $\mathcal{A}_X$, such that if $X$ and $Y$ are finite sets:

If $X\neq Y$ then $\mathcal{A}_X\cap \mathcal{A}_Y=\emptyset$.

If $X$ and $Y$ are finite sets with $\lvert X\rvert=\lvert Y\rvert$, then $\lvert\mathcal{A}_X\rvert=\lvert\mathcal{A}_Y\rvert$.

My question is whether these two definitions refer to the same thing. I am somewhat confused.

added 18 characters in body
Source Link

I understand that a combinatorial class $\mathcal{A}$ is a set of objects, with a function of size $|\cdot|_{\mathcal{A}}:\mathcal{A}\to \mathbb{N}$. With objects of size n: $\mathcal{A}_n=\{\alpha\in\mathcal{A}\;:\; |\alpha|_{\mathcal{A}}=n\}$, and a condition of finitude $\#\mathcal{A}_n<\infty$.

In a book "Introduction to Combinatorial Enummeration" by Dvid G. Wagner chapter 11, I came across the term "class of structures", and they define it as:

A class $\mathcal{A}$ associated with a finite set $X$ is another finite set $\mathcal{A}_X$, such that is $X$ and $Y$ are finite sets:

If $X\neq Y$ then $\mathcal{A}_X\cap \mathcal{A}_Y=\emptyset$.

If $X\neq Y$$X$ and $Y$ are finite sets with $|X|=|Y|$, then $|\mathcal{A}_X|=|\mathcal{A}_Y|$.

My question is whether these two definitions refer to the same thing. I am somewhat confused

I understand that a combinatorial class $\mathcal{A}$ is a set of objects, with a function of size $|\cdot|_{\mathcal{A}}:\mathcal{A}\to \mathbb{N}$. With objects of size n: $\mathcal{A}_n=\{\alpha\in\mathcal{A}\;:\; |\alpha|_{\mathcal{A}}=n\}$, and a condition of finitude $\#\mathcal{A}_n<\infty$.

In a book "Introduction to Combinatorial Enummeration" by Dvid G. Wagner chapter 11, I came across the term "class of structures", and they define it as:

A class $\mathcal{A}$ associated with a finite set $X$ is another finite set $\mathcal{A}_X$, such that is $X$ and $Y$ are finite sets:

If $X\neq Y$ then $\mathcal{A}_X\cap \mathcal{A}_Y=\emptyset$.

If $X\neq Y$ with $|X|=|Y|$, then $|\mathcal{A}_X|=|\mathcal{A}_Y|$.

My question is whether these two definitions refer to the same thing. I am somewhat confused

I understand that a combinatorial class $\mathcal{A}$ is a set of objects, with a function of size $|\cdot|_{\mathcal{A}}:\mathcal{A}\to \mathbb{N}$. With objects of size n: $\mathcal{A}_n=\{\alpha\in\mathcal{A}\;:\; |\alpha|_{\mathcal{A}}=n\}$, and a condition of finitude $\#\mathcal{A}_n<\infty$.

In a book "Introduction to Combinatorial Enummeration" by Dvid G. Wagner chapter 11, I came across the term "class of structures", and they define it as:

A class $\mathcal{A}$ associated with a finite set $X$ is another finite set $\mathcal{A}_X$, such that is $X$ and $Y$ are finite sets:

If $X\neq Y$ then $\mathcal{A}_X\cap \mathcal{A}_Y=\emptyset$.

If $X$ and $Y$ are finite sets with $|X|=|Y|$, then $|\mathcal{A}_X|=|\mathcal{A}_Y|$.

My question is whether these two definitions refer to the same thing. I am somewhat confused

Source Link

Confusion in definition of class of structures and combinatorial class

I understand that a combinatorial class $\mathcal{A}$ is a set of objects, with a function of size $|\cdot|_{\mathcal{A}}:\mathcal{A}\to \mathbb{N}$. With objects of size n: $\mathcal{A}_n=\{\alpha\in\mathcal{A}\;:\; |\alpha|_{\mathcal{A}}=n\}$, and a condition of finitude $\#\mathcal{A}_n<\infty$.

In a book "Introduction to Combinatorial Enummeration" by Dvid G. Wagner chapter 11, I came across the term "class of structures", and they define it as:

A class $\mathcal{A}$ associated with a finite set $X$ is another finite set $\mathcal{A}_X$, such that is $X$ and $Y$ are finite sets:

If $X\neq Y$ then $\mathcal{A}_X\cap \mathcal{A}_Y=\emptyset$.

If $X\neq Y$ with $|X|=|Y|$, then $|\mathcal{A}_X|=|\mathcal{A}_Y|$.

My question is whether these two definitions refer to the same thing. I am somewhat confused