Natural join construction of graded posets versus ordinal sum and discrete hyper boxes

Abstract

One introduces here the natural join $P \os Q$ of graded posets $<P,{\le }_P>$ and $<Q,{\le }_Q>$ with correspondingly maximal and minimal sets being identical as expressed by ordinal sum $P\oplus Q$ apart from other definition and due to that one arrives at a simple proof of the $M\ddot{o}bius$ function formula for cobweb posets. We also quote the other authors explicit formulas for the zeta matrix and its inverse for any graded posets with the finite set of minimal elements from earlier works of the author. These formulas are based on the formulas for cobweb posets and their $Hasse$ diagrams or graphs named $KoDAGs$ which are interpreted as chains of binary complete or universal relations joined by the natural join operation. Natural join of two independent sets is therefore the ordinal sum of this trivially ordered posets represented also by directed biclique named dibiclique and correspondingly by their $Hasse$ diagrams or graphs named $KoDAGs$. Such cobweb posets and equivalently their Hasse diagrams or graphs named $KoDAGs$ are also encoded by discrete hyper-boxes and the natural join operation of such discrete hyper boxes is just cartesian product of them accompanied with projection out of common faces. All graded posets with no mute vertices in their $Hasse$ diagrams which means that no vertex has indegree or outdegree equal zero are natural join of chain of relations and may be at the same time interpreted an $n-ary$ relation, $n\in N\cup \{\infty \}$.

arXiv comment51 pages, 11 figures, The Internet Gian-Carlo Rota Polish Seminar article http://ii.uwb.edu.pl/akk/sem/sem\_rota.htm

References in corpus (29)

• Cobweb posets as noncommutative prefabs
• On cobweb posets and their combinatorially admissible sequences
• Cobweb posets - Recent Results
• On umbral extensions of Stirling numbers and Dobinski-like formulas
• First Observations on Prefab Posets Whitney Numbers
• Fibonomial cumulative connection constants
• On Cobweb posets tiling problem
• On incidence algebras description of cobweb posets
• On Cobweb Posets and Discrete F-Boxes Tilings
• On cobweb posets most relevant codings
• On multi F-nomial coefficients and Inversion formula for F-nomial coefficients
• Some Cobweb Posets Digraphs' Elementary Properties and Questions
• On GCD-morphic sequences
• Graded posets zeta matrix formula
• More on combinatorial interpretation of the fibonomial coefficients
• Reduced Incidence algebras description of cobweb posets and KoDAGs
• Extended finite operator calculus as an example of algebraization of analysis
• Information on some recent applications of umbral extensions to discrete mathematics
• The logarithmic fibbinomial formula
• How the work of Gian Carlo Rota had influenced my group research and life
• A note on mobiusien function and mobiusien inversion formula of fibonacci cobweb poset
• The First Ascent into the Incidence Algebra of the Fibonacci Cobweb Poset
• Comments on combinatorial interpretation of fibonomial coefficients - an email style letter
• On Simple Characterisations of Sheffer psi- polynomials and Related Propositions of the Calculus of Sequences
• Graded posets inverse zeta matrix formula
• Counting Bipartite, k-Colored and Directed Acyclic Multi Graphs Through F-nomial coefficients
• Further developements in finite fibonomial calculus
• q-Poisson, q-Dobinski, q-Rota and q-coherent states
• Cauchy type identities and corresponding fermatian matrices via non-comuting variables of extended finite operator calculus

Cited by in corpus (3)

• Generalization of Fibonomial Coefficients
• On natural join of posets properties and first applications
• Note on Ward-Horadam H(x) - binomials' recurrences and related interpretations, II