Funcoids and reloids are my research in the field of general topology.
Let $latex \mathcal{A}$ and $latex \mathcal{B}$ are filters.
Earlier I introduced three kinds of products of filters:
- funcoidal product: $latex \mathcal{A}\times^{\mathsf{FCD}}\mathcal{B}$;
- reloidal product: $latex \mathcal{A}\times^{\mathsf{RLD}}\mathcal{B}$;
- second product: $latex \mathcal{A}\times^{\mathsf{RLD}}_F\mathcal{B}$;
The last two products are reloids while the first is a funcoid.
Funcoidal and reloidal products are elegant math objects, while the second product is a stepchild primary useful for making counter-examples.
Today I found yet more two kind of products of filters which I call oblique products. They are something middle between reloidal product and second product, being similar to second product in one variable and reloidal product in the other variable. These may be also useful for making counter-examples.
They are defined by the formulas:
$latex \mathcal{A} \ltimes \mathcal{B} = \\ \bigcap \{ \uparrow^{\mathsf{RLD} ( \mathrm{Base} ( \mathcal{A} ) ; \mathrm{Base} ( \mathcal{B} ) )} f \hspace{1em} | \\ \hspace{1em} f \in \mathscr{P} ( \mathrm{Base} ( \mathcal{A} ) \times \mathrm{Base} ( \mathcal{B} ) ), \forall B \in \mathrm{up} \mathcal{B} : \uparrow^{\mathsf{FCD} ( \mathrm{Base} ( \mathcal{A} ) ; \mathrm{Base} ( \mathcal{B} ) )} f \supseteq \mathcal{A} \times^{\mathsf{FCD}} \uparrow^{\mathrm{Base}(\mathcal{B})}B \};$
$latex \mathcal{A} \rtimes \mathcal{B} = \\ \bigcap \{ \uparrow^{\mathsf{RLD} ( \mathrm{Base} ( \mathcal{A} ) ; \mathrm{Base} ( \mathcal{B} ) )} f \hspace{1em} | \\ \hspace{1em} f \in \mathscr{P} ( \mathrm{Base} ( \mathcal{A} ) \times \mathrm{Base} ( \mathcal{B} ) ), \forall A \in \mathrm{up} \mathcal{A} : \uparrow^{\mathsf{FCD} ( \mathrm{Base} ( \mathcal{A} ) ; \mathrm{Base} ( \mathcal{B} ) )} f \supseteq \uparrow^{\mathrm{Base}(\mathcal{A})}A \times^{\mathsf{FCD}} \mathcal{B} \}.$
Quickly arose the following conjectures:
Conjecture $latex (\mathcal{A} \ltimes \mathcal{B} ) \cap ( \mathcal{A} \rtimes \mathcal{B} ) = \mathcal{A} \times^{\mathsf{RLD}}_F \mathcal{B}$.
Conjecture $latex (\mathcal{A} \ltimes \mathcal{B} ) \cup ( \mathcal{A} \rtimes \mathcal{B} ) = \mathcal{A} \times^{\mathsf{RLD}} \mathcal{B}$.
An informally formulated problem in addition to the above conjectures: Can we define an operation which transforms every funcoid into a reloid in a way similar to transforming a funcoidal product into an oblique product?
One Response