Brick product (InstanceTopic, 3)

From Hi.gher. Space

(Difference between revisions)
(specializations)
Line 1: Line 1:
 +
<[#ontology [kind topic] [cats Operation]]>
 +
The '''brick product''' is a very generalized operation, written as Q = P{A<sub>1</sub>, A<sub>2</sub>, ..., A<sub>''n''</sub>}. P is called the ''operator'' and A<sub>''i''</sub> are called the ''operands''. Their values must satisfy the following constraints:
The '''brick product''' is a very generalized operation, written as Q = P{A<sub>1</sub>, A<sub>2</sub>, ..., A<sub>''n''</sub>}. P is called the ''operator'' and A<sub>''i''</sub> are called the ''operands''. Their values must satisfy the following constraints:
*P must be a [[brick]].
*P must be a [[brick]].
Line 29: Line 31:
*When all A<sub>''i''</sub> are equal, the operation produces a [[powertope]] (A<sub>''i''</sub><sup>P</sup>, read "the P of A<sub>''i''</sub>").
*When all A<sub>''i''</sub> are equal, the operation produces a [[powertope]] (A<sub>''i''</sub><sup>P</sup>, read "the P of A<sub>''i''</sub>").
**When each A<sub>''i''</sub> is also equal to P, the operation produces a ''tetrate'' (the P-al ''n''-tetrate).
**When each A<sub>''i''</sub> is also equal to P, the operation produces a ''tetrate'' (the P-al ''n''-tetrate).
 +
 +
== Trivia ==
 +
The brick product was conceived by [[Keiji]] while he was seeking such a generalized product operation. It was inspired by an email conversation between him and [[Jonathan Bowers]] about the latter's research into powertopes, and the name of '''''brick''' product'' was taken from the term '''''brick''' symmetry'', which Bowers described his powertope bases as requiring in said email convesation.

Revision as of 16:38, 4 January 2012


The brick product is a very generalized operation, written as Q = P{A1, A2, ..., An}. P is called the operator and Ai are called the operands. Their values must satisfy the following constraints:

  • P must be a brick.
  • The dimensionality of P must equal n.

The resultant shape Q will have the following properties:

  • The dimensionality of Q will be the sum of the dimensionalities of Ai.
  • Q will be a brick if and only if all Ai are bricks.
  • Q will be convex if and only if both P and all Ai are convex.

Definition

For each point x = (x1, x2, ..., xn) in P, the brick symmetry guarantees that (-x1, x2, ..., xn) is also in P. This means the line segment between these two points has length 2x1. In fact, for any 1 ≤ in, a line segment can be constructed between (x1, ..., xi, ..., xn) and (x1, ..., -xi, ..., xn) with both endpoints in P, by definition of brick symmetry of P, each with length 2xi. Collect these lengths into an array l(x) = (l1, l2, ..., ln) = (2x1, 2x2, ..., 2xn).

Now, for each point x, we form the Cartesian product A1|l1 × A2|l2 × ... × An|ln, where the notation Ai|li means the operand Ai scaled by the length li.

Then Q = P{A1, A2, ..., An} is the union over all x in P of the surfaces of the Cartesian products A1|l1 × A2|l2 × ... × An|ln.

As a concise expression:

Q = ⋃{ surface( ∏{ Ai|2xi | 1 ≤ in } ) | x ∈ P }

where ⋃ represents the union of all members of a set, ∏ represents the Cartesian product of all members of a set, and surface(X) is a function mapping X to its preceding frame, i.e. reduces the net space of X by one while keeping the bounding space the same.

Specializations

  • When P is the point, the operation is trivial, takes no operands, and the result by the definition above is an empty set; some uses may prefer to define Point{} = Point.
  • When P is the digon, the operation is simply scales its operand by the digon's length. If the length of the digon is 1, the operation becomes the identity operation.
  • When P is a hypercube of side length 1, the operation is the Cartesian product.
  • When P is a cross polytope of diameter 1, the operation is the tegum product.
  • When P is a hypersphere of diameter 1, the operation is the crind product.
  • When all Ai are equal, the operation produces a powertope (AiP, read "the P of Ai").
    • When each Ai is also equal to P, the operation produces a tetrate (the P-al n-tetrate).

Trivia

The brick product was conceived by Keiji while he was seeking such a generalized product operation. It was inspired by an email conversation between him and Jonathan Bowers about the latter's research into powertopes, and the name of brick product was taken from the term brick symmetry, which Bowers described his powertope bases as requiring in said email convesation.