Filters (and ultrafilters) are used in various areas of mathematics, e.g. general topology, set theory, boolean algebras, model theory. In topology they can be used to study convergence in a more general way than just convergence of sequences.

learn more… | top users | synonyms

0
votes
0answers
17 views

Filter,dual ideal,definition of $\liminf_I \lambda$

We have this http://shelah.logic.at/files/506.pdf definition of $\lim \inf_I \bar{\lambda}$ in 1.1(3): for $I$ a filter on $\kappa$ let $I^+=2^\kappa \setminus I$.$$\lim \inf_I ...
3
votes
1answer
28 views

Reducing a double ultrapower to a single ultrapower

I hate having to ask this question, as I know for a fact I have seen the answer before but cannot seem to find it. So I'm breaking down and asking for a reference. Given a structure, let's say a ...
1
vote
2answers
13 views

Ultrafilter closed under negative shift

Does exists an ultrafilter $ \mathcal U $ over $\mathbb N $ such that for every $A \in \mathcal U$ the set $A-1=\{a-1\in \mathbb N : a\in A \land a>1 \} $ is also in $\mathcal U $ ?
1
vote
0answers
31 views

Condition for an Ultrafilter to be Ramsey.

I read in the english Ultrafilter article on Wikipedia that one can prove that a non-principal ultrafilter $D$ on $\omega$ is a Ramsey ultrafilter if and only if for every coloration $c:[\omega]^2 ...
1
vote
1answer
47 views

Making sense of the expression $\lim_{x \rightarrow k^+}f(x)$ using filters, and a reference request.

I don't know much filter convergence, so this is addressed to those who do. Let $f : \mathbb{R} \rightarrow \mathbb{R}$ denote a function. In elementary real analysis, we often write: $$\lim_{x ...
6
votes
1answer
71 views

Every net has an ultranet as subnet: direct proof

I'm currently brushing up my topology using Willard's General Topology. Currently I'm working through the chapters 11 and 12 on nets and filters. Chapter 12 deals extensively with ultrafilters and ...
2
votes
1answer
63 views

pointwise convergence of a filter on $\mathbb{R}^\mathbb{R}$

In my topology lecture we have defined pointwise convergence for filters on function spaces, say $\mathbb{R}^\mathbb{R}$. A filter $\varphi$ on $\mathbb{R}^\mathbb{R}$ converges pointwise to ...
2
votes
1answer
46 views

Why do we need ultrafilters to make sense of the cartesian product of $\mathcal{L}$-structures

I'm trying understand why we need ultrafilters in model theory. Here is how I see things. Could someone tell me if this is correct ? Further explanations are always welcome. Let $\mathcal{L}$ be a ...
0
votes
1answer
7 views

Filter output of a signal

So I have a filter $$H(z) = 0.5 + 0.5z^3 = (1/2, 0, 0, 1/2)$$ and need to find the output of it on a cyclical signal $$x = (..., 3, -1, 2, 1, 5, 2, 3,-1, 2, 1, 5, 2, 3,...) $$ Would the output be ...
2
votes
0answers
31 views

Literature about Ultrafilters

I am in the early stages of planning my senior project and was wondering if anybody had some recommendations of literature about the applications of ultrafilters in social choice theory, along with ...
0
votes
1answer
33 views

Every nonprincipal ultrafilter on $\omega$ is uncountable.

I imagine this is true as it is easy to prove that any principal ultrafilter on $\mathbb{N}$ is uncountable, and nonprincipal ultrafilters seem in a way bigger. (My proof is $\mathcal{P}(\mathbb{N})= ...
0
votes
0answers
25 views

Proving that every filter is $ℵ_0$–complete

I know that every filter is $ℵ_0$-complete from the definition of being k-complete where k is an infinite cardinal. However I don't know how to prove it specifically.
0
votes
1answer
17 views

Iterated Limits Along an Ultrafilter

Setting: Let $\mathfrak{U}$ be an ultrafilter on an index set $I$. Let $G$ be a compact group with identity $e$, and let $\mathbb{T}$ denote the unit circle in the complex plane. For each $i\in ...
2
votes
1answer
62 views

Connection between ultrafilters and maximal consistent sets

I have been told by reputable sources that ultrafilters over the set of all formulas in a given logic corresponds to a maximal consistent set of formulas in that logic, and I am trying to wrap my head ...
0
votes
1answer
67 views

An elementary proof about filters

I my book draft I have proved a theorem which is equivalent to the following. My proof uses ultrafilters, Galois connections, and the cofinite filter. Let $S$ be a set of filters on some set $U$. ...
-1
votes
1answer
21 views

Strengthening of a theorem about filters vs a counter-example

Let $S$ be a non-empty set of filters on a meet-semilattice. If our semilattice is a distributive lattice, then the supremum (on the poset of filters ordered by set-theoretic inclusion) of $S$ is the ...
2
votes
1answer
41 views

Let $\mathcal{U}$ now be an ultrafilter on $\mathbb{N}$ such that $\mathcal{U}\subseteq 2^\mathbb{N}$ is non-principal.

Let $\mathcal{U}$ now be an ultrafilter on $\mathbb{N}$. View $\mathcal{U}$ as a subset of $2^\mathbb{N}$. Question: If $\mathcal{U}$ is non-principal then $\mathcal{U}$ does not have the Baire ...
0
votes
0answers
35 views

Are continuous functions on uniform spaces Cauchy continuous?

Suppose $X,Y$ are uniform spaces. Since uniform structures give topologies $X,Y$ are naturally topological spaces, so we can consider continuous functions $X \to Y$. What I am wondering is if $f ...
0
votes
2answers
70 views

If $U$ is an ultrafilter on $\mathbb{N}$, then $U$ limits exist.

This is rather silly, I expect Asaf will point out what I am missing immediately. Let $U$ be a filter on $\mathbb{N}$. If $\{a_n\}_{n=1}^\infty$ is a sequence of reals, we write $\lim_U a_n = a$ if ...
0
votes
0answers
26 views

When the preimage of the family of all open neighborhoods of a point is cofinal

Let $f \colon X \to Y$ be a continuous map of topological spaces. Denote by $O_y(Y)$ the family of all open neighborhoods of a point $y \in Y$. Define $$ f^{-1}(O_y(Y)) = \bigl\{ f^{-1}(U) \colon U ...
4
votes
1answer
66 views

Non-measurability of ultrafilter on $\omega$

It is well-known that any non-principal ultrafilter on $\omega$ is non-measurable regarded as a subset of $2^{\omega}$. My question is "how well-known" is this fact? Here is the only proof I know: ...
0
votes
0answers
25 views

Prove that $\mathscr F^+ = \mathscr J^+$ and $a \in \mathscr J^+$ iff there exists a filter

Let $\mathscr F$ a filter and let $\mathscr J = \mathscr F^c$ be an ideal dual to $\mathscr J$. Denote $\mathscr F^+ = \{a : (\forall x \in \mathscr F)[a \land x \neq 0]\}$ and $\mathscr J^+ = \{a:a ...
1
vote
0answers
32 views

Distributivity of lattices and prime ideals.

I need help proving that, if $L$ is a lattice with the property that for every nonempty proper filter $F$ and every ideal $I$ such that $F \bigcap I = \emptyset$ then there is a prime filter $G$ such ...
0
votes
1answer
22 views

If a set X has the finite meet property, then there is an ultrafilter such that X is a subset of it.

I need to prove that if $X \subseteq B$ is a set with the finite meet property, then there exists an unltrafilter $U$ of $B$ such that $X \subseteq U$. I know that the finite meet property means that ...
2
votes
1answer
104 views

Stone Representation Theorem

Given two Boolean algebras $A$ and $B$ such that $A$ is a subalgebra of $B$. What is the relation between the Stone space of $A$ and the Stone space of $B$. The question maybe silly but I am getting ...
0
votes
0answers
29 views

About a function ranging filters

Let $U$ be an (infinite) set and $N$ be an (infinite) index set. I denote $\mathfrak{A}$ the set of filters on $U$ (including the improper filter). Let $f$ be an $N$-ary relation that is a set of ...
1
vote
1answer
78 views

Another way to express certain filter

Let $\mathfrak{A}$, $\mathfrak{B}$ be posets, $\mathfrak{A} \subseteq \mathfrak{B}$ (and $\mathfrak{A}$ is the induced order of $\mathfrak{B}$). Let $\mathcal{A}$ be a filter on $\mathfrak{A}$. Help ...
2
votes
1answer
47 views

An example of an ultrafilter

This is Theorem 3.5 (pp. 150) of the book "A course in universal algebra." http://www.math.uwaterloo.ca/~snburris/htdocs/UALG/univ-algebra.pdf Theorem 3.15. Let $\bf B$ be a Boolean algebra. (a) ...
11
votes
0answers
153 views

References on filter quantifiers

This post is primarily a reference request. In combinatorics and other areas, we use filter quantifiers to simplify the statements of various definitions, theorems and proofs. The general idea is ...
6
votes
2answers
69 views

Ultraproducts and Elementary Embeddings

Let $K= \{A_i: i\in \omega\}$ be a countable collection of $L-$structures. Suppose that for each $A_i, A_j$ in $K$, $\exists A_p \in K$ such that $i,j< p$ and $A_i \prec A_p $ and $A_j \prec ...
0
votes
0answers
55 views

Carlson's translatability - are theses characterisations equivalent?

Given a translation-invariant ideal $\mathcal{I}$ on a commutative group $G$ and it's dual filter $\mathcal{I}^*$, I am trying to show that $$ (\forall I \in \mathcal{I})(\exists I' \in ...
0
votes
1answer
46 views

Net and filter generated by it

Let {s(a)} -such that (a) belongs to order set (A)- is a net from the point of (X) , the net {s(a)} converges to (x) if and only if the filter that generated by it converges to (x)
0
votes
1answer
22 views

Prove that $\sigma (\cap_{i \in I} C_i)=\cap_{i \in I} \sigma (C_i)$

Do we have the following identity? $$\sigma (\cap_{i \in I} C_i)=\cap_{i \in I} \sigma (C_i)$$ Here $C_i$ is a subset of a set $\Omega$.
3
votes
2answers
60 views

Does ultralimit of sequence change after shift?

Let $(a_n)$ be a bounded sequence of numbers, $\omega$ be an non-principal ultrafilter on $\mathbb N$, then one can assign a limit along ultrafilter $(\omega-)\lim a_n$ to it as is said here. This ...
0
votes
1answer
43 views

Is $\mathscr{B}$ a filter on $X$, or only a filter base

Let $X_1$ be a nonempty set, $\mathscr{B}_1$ a filter on $X_1$, $X_2$ a nonempty set, $\mathscr{B}_2$ a filter on $X_2$; now we define $X=X_1\times X_2$ and $$\mathscr{B}=\{B_1\times B_2:B_1 \in ...
3
votes
0answers
49 views

Is there any filter space characterization for strong cardinals?

The theory of filter spaces is introduced by Apter, Diprisco, Henle & Zwicker, in their joint paper: Arthur Apter, Carlos Di Prisco, James Henle, and William Zwicker, Filter spaces: towards a ...
1
vote
1answer
28 views

Convergence of filters

Let (X,T) be a topological space. If F is a filter on X, then B:={G⊆X |G∈T and G∈F} is a basis for a filter F° on X. Prove that for x ∈ X the filter F° converges to x if and only if F converges to x. ...
1
vote
0answers
40 views

MATLAB implementation Spline Fitting

Check the attached problem please. I am a beginner in spline fitting and have a few questions: 1) How to find the coefficients c[n]. Is it by DTFT? 2) I understand how to find the derivative but ...
0
votes
1answer
36 views

Is the set of pseudo-complements of the elements of an ideal in a pseudocomplemented lattice a filter?

Let $L$ be a pseudocomplemented distributive lattice with $0$ and $1$, $I \subseteq L$ an ideal and set $F = \{\neg x \; | \; x \in I\}$, where $\neg x$ is the pseudocomplement of $x$. My question is: ...
0
votes
0answers
24 views

Is the locale of filters on an arbitrary lattice compact?

A mathematician has claimed in a private email to me, that the lattice of filters on every lattice is compact. I have proved it only for distributive lattices. I need help for non-distributive case. ...
2
votes
1answer
32 views

Generalization of a certain riddle and ultrafilters (?)

I was once told the following riddle: 100 dwarfs stand in a straight line, each wears a hat of the colour red, yellow or green and they can see only the hats of the dwarfs in front of them. A dwarf ...
1
vote
1answer
37 views

A filter $G$ on $P$ is generic iff whenever $W$ is a partition of $P$, $G \cap W \not = \emptyset$

I'm finally struggling a little bit with the notion of forcing, so I decided to do some of the exercises in Jech's book (2nd Edition) in order to sharpen a little bit my intuitions about the whole ...
2
votes
1answer
78 views

Existence of ultrafilters

STATEMENT: An “ultrafilter” is a filter that is not properly contained in any other filter. Use Zorn’s lemma to show that every filter is contained in an ultrafilter. PROOF: Let $F$ be the set of all ...
0
votes
2answers
49 views

Equality of two expressions describing a filter

Let $U$, $W$ be boolean lattices with order $\sqsupseteq$, and $U \supseteq W$. The top element of $U$ is the same as the top element of $W$. The bottom element of $U$ is the same as the bottom ...
4
votes
1answer
103 views

Compositions of filters on finite unions of Cartesian products

Let $\Gamma$ be the lattice of all finite unions of Cartesian products $A\times B$ of two arbitrary sets $A,B\subseteq U$ for some set $U$. See this note for other equivalent ways to describe the set ...
0
votes
0answers
83 views

Another conjecture about filters and cartesian products

Now I present a similar but different (weaker) question (the difference is a different definition of the set $\Gamma$): Let $U$ be some set. Let $\Gamma$ be the set of all finite unions ...
1
vote
1answer
28 views

Is a Set a family of filters over itself?

Given a nonempty set $X$, define a family of sets $F$ over $X$ as $F:= \{X\}$ Since $F$ is nonempty and $$F\cap F=F\subseteq F \cap F$$ does that mean that $X$ is a family of filters over itself? ...
3
votes
1answer
154 views

A conjecture about filters and finite unions of cartesian products

Let $U$ be some set. Let $\Gamma$ be the set of all finite unions of cartesian products ($X_1 \times Y_1 \cup \dots \cup X_n \times Y_n$) of sets on $U$. Obviously, $\Gamma$ is a a distributive ...
2
votes
1answer
51 views

Nets and directed sets problem

I am trying to solve the following exercise: Let $\Lambda$ be a directed set, and for each $\alpha \in \Lambda$ let $\Gamma_\alpha$ be a directed set. Suppose that for each $\alpha \in \Lambda$ there ...
0
votes
0answers
15 views

How do I get around finding a digital filter which is a narrow bandpass with a small group delay?

I need to find a digital filter that meets the following criterion: Is a narrow bandpass (1/40 of normalized frequency width) As small as possible group delay (preferably less than 300 samples) ...