Functional composition patterns and power series reversion
暂无分享,去创建一个
found in the writings of Jacobson [9], Becker [2], Motzkin [11], and Bourbaki [3; 4]. This paper will be concerned with a natural generalization of Cayley's problem, and will show that the solution to the generalized problem contains all of the combinatorial information needed to establish the well known formula of Lagrange for the reversion of power series. To describe the problem, we consider expressions which are built from operator symbols and argument symbols, using a prefix notation for operators. Weights are assigned to the symbols in an expression, an argument symbol having the weight 0 and an n-ary operator symbol having the weight n. Expressions are of various types, the type of an expression depending only on the weights of the symbols in it and on the order in which they appear. The expression (a+b) +c, for example, is written + +abc and is of the type 22000, while a+(b+c) is written +a+bc and is of the type 20200. The expression F(G(x, H(y, z), t), K(u)) is of the type 230200010. Following P. C. Rosenbloom [13], we call those finite sequences of natural numbers which designate the types of expressions "words." Definitions and some special properties of these sequences are stated in ?2.
[1] T. Motzkin,et al. Relations between hypersurface cross ratios, and a combinatorial formula for partitions of a polygon, for permanent preponderance, and for non-associative products , 1948 .
[2] Paul C. Rosenbloom,et al. The Elements of Mathematical Logic , 1951 .
[3] Nicolas Bourbaki,et al. Théorie des ensembles , 1954 .
[4] H. W. Gould,et al. Final Analysis of Vandermonde's Convolution , 1957 .