Exponentiation and Euler measure

Details Exponentiation and Euler measure Exponentiation and Euler measure

2002-03-30

arxiv.org/abs/math/0204009v3

Algebra Universalis 49, no. 4, 459--471 (2003). Dedicated to the memory of Gian-Carlo Rota.

Mathematics

Combinatorics

15 pages; to appear in Algebra Universalis

Scientific paper

Two of the pillars of combinatorics are the notion of choosing an arbitrary subset of a set with $n$ elements (which can be done in $2^n$ ways), and the notion of choosing a $k$-element subset of a set with $n$ elements (which can be done in $n \choose k$ ways). In this article I sketch the beginnings of a theory that would import these notions into the category of hedral sets in the sense of Morelli and the category of polyhedral sets in the sense of Schanuel. Both of these theories can be viewed as extensions of the theory of finite sets and mappings between finite sets, with the concept of cardinality being replaced by the more general notion of Euler measure (sometimes called combinatorial Euler characteristic). I prove a ``functoriality'' theorem (Theorem 1) for subset-selection in the context of polyhedral sets, which provides quasi-combinatorial interpretations of assertions such as $2^{-1} = \frac12$ and ${1/2 \choose 2} = -\frac18$. Furthermore, the operation of forming a power set can be viewed as a special case of the operation of forming the set of all mappings from one set to another; I conclude the article with a polyhedral analogue of the set of all mappings between two finite sets, and a restrictive but suggestive result (Theorem 2) that offers a hint of what a general theory of exponentiation in the polyhedral category might look like.

Affiliated with

Also associated with

No associations

Rating

Exponentiation and Euler measure does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Exponentiation and Euler measure, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Exponentiation and Euler measure will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-412943