Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Order, Filters and Reloids
Replies: 11   Last Post: Sep 1, 2013 10:54 AM

 Messages: [ Previous | Next ]
 William Elliot Posts: 2,637 Registered: 1/8/12
Re: Order, Filters and Reloids
Posted: Aug 26, 2013 10:11 PM

> > In what follows, "filter" will mean a filter in the usual sense
> > or the improper maximum filter P(S).

> > The product of filters is associative.
>
> No, it is associative up to an isomorphism.
> I have no formal proof for this, yet.

I've a proof for that using
Ax(BxC) = AxBxC = (AxB)xC
or simply
A x BxC = AxBxC = AxB x C.

> > The composition of reloids is associative.
>
> Correct. Theorem 7.13 in my book:
> http://www.mathematics21.org/algebraic-general-topology.html

How many thorems of chapter 7 are about reloids only?
Other than what is mentioned here, what are some of them?

> > If A is a set of filters for X, B a set of filters for Y, then
> > /\{ FxxG | F in A, G in B } = /\A xx /\B.

>
> Yes, theorem 7.22 in my book.
>

> > The composition of two complete reloids is complete.
>
> It is a conjecture.

Date Subject Author
8/25/13 William Elliot
8/26/13 Victor Porton
8/26/13 William Elliot
8/27/13 Victor Porton
8/28/13 William Elliot
8/29/13 Victor Porton
8/29/13 William Elliot
8/29/13 Victor Porton
8/30/13 William Elliot
8/31/13 William Elliot
9/1/13 Robin Chapman
9/1/13 Victor Porton