Are All Filters Both Finer and Coarser Than Themselves?

  • Thread starter Thread starter Saketh
  • Start date Start date
  • Tags Tags
    Filters
AI Thread Summary
The discussion centers on the concept of fineness in filters, questioning whether all filters can be considered both finer and coarser than themselves. A filter is defined as finer than another if it contains it, similar to the relationship between topologies. It is noted that all filters are contained within a maximal filter known as an ultrafilter, with Zorn's Lemma providing a proof for this containment. The conclusion emphasizes that while filters can be both finer and coarser than themselves, they are not strictly so. This nuanced understanding of filter relationships is crucial in topology and set theory.
Saketh
Messages
258
Reaction score
2
I am confused by the definition of fineness on filters. Are all filters both finer and coarser than themselves?
 
Mathematics news on Phys.org
A filter is finer than another if it contains it. Just like a topology being finer than another. All filters are contained in a maximal filter, called an ultrafilter. Zorn's Lemma can be used to prove that all filters are contained in an ultrafilter.

All filters both finer and coarser than themselves, but not strictly finer or coarser of course.
 
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Thread 'Imaginary Pythagorus'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
Back
Top