Questions tagged [filters]
The filters tag has no usage guidance.
47
questions
0
votes
1
answer
180
views
Milnor and Moore paper "On the structure of Hopf algebra" proposition 1.7 , filtration and grading
In the Milnor and Moore paper, "On the structure of Hopf algebras" proposition 1.7 said the following:
$A$ a connected $K$-algebra.
$N$ a left $A$ module that is connected as a $K$-graded ...
- 103
-1
votes
1
answer
47
views
The existence of a maximal “cross-sectional” filter on the Boolean algebra of measurable subsets of [0, 1] modulo almost everywhere equivalence
Let $\mathcal{B}([0, 1])$ be the Boolean algebra of measurable subsets of $[0, 1]$ modulo almost everywhere equivalence, i.e., two measurable sets which differ only by a Lebesgue null set are ...
- 732
5
votes
0
answers
90
views
Comparing Mathias forcing notions relative to various filters
Let $\mathcal F$ be a (non-principle, non trivial, ...) filter on $\omega$. The Mathias Forcing relative to $\mathcal F$ is the forcing notion $\mathbb M(\mathcal F)$ consisting of pairs $(s, X)$ with ...
- 1,812
10
votes
4
answers
880
views
Are arbitrary nonempty intersections of principal filters principal?
Suppose $\langle L,\leq\rangle$ is a lattice with join $\sqcup$. Let $F_1$ and $F_2$ be principal filters on $L$. Thus, for $i\in I=\{1,2\}$ there are $x_i\in L$ so that $F_i=\{y\in L:x_i\leq y\}$.
In ...
- 335
1
vote
0
answers
41
views
What's the autocovariance of 2 concurrent hidden states of a stochastic gaussian walk, using the Kalman filter?
A latent variable evolves as $x_t = x_{t-1} + e_t$ where $e_t$ has a gaussian distribution with 0 mean and a variance which defines the volatility of the overall process. Let $o_t$ be the noisy ...
- 11
1
vote
0
answers
33
views
Posets which extend centered sets to filters
(Post cross-posted from math.se.)
Suppose $(\mathcal O, \leq)$ is an arbitrary poset. Let us say that $\mathcal O$ is compact if every $\mathcal C\subseteq\mathcal O$ which is centered (any finite ...
- 1,132
-1
votes
1
answer
226
views
Are the shapes of the $\mathbb{R}^2$ plane and a disk of infinite radius different? Or otherwise, why their areas differ by $\frac\pi{12}$? [closed]
The calculation of the area of the $\mathbb{R}^2$ plane depends on filtering used. I think, the most natural filtering is along the radius in polar coordinates:
$$S_{\mathbb{R}^2}=\int_0^\infty 2\pi ...
- 9,038
2
votes
1
answer
148
views
Relationship between wavelet shape and filter points
MATLAB has a library of wavelet functions, showing their "continuous forms" as well as the the decomposition and reconstruction filters.
In decimated wavelet transform the filter size remains the ...
- 845
5
votes
1
answer
209
views
Club filter basis in $\omega_1$
My question is about existing of basis of club filter club($\omega_1$) with cardinality $c$. Does it exist?
- 1,135
1
vote
1
answer
121
views
The trace of the filter on a big subset
Let $\scr{F}$ be free filter ($\cap\scr{F}=\emptyset$) on a countable set $X$ and $B\in\scr{F}$. We define the trace of $\scr{F}$ on $B$ as follows $\mathscr{F}_B=\{Y\cap B:~Y\in\scr{F}\}$. $\scr{F}$ ...
user137651
2
votes
1
answer
90
views
Dense subfilter of selective ultrafilter
Given selective ultrafilter $\mathcal{U}$ on $\omega$ and dense filter $\mathcal{F_1}=\{A\subset\omega~|~\rho(A)=1\}$, where $\rho(A)=\lim_{n\to\infty}\frac{|A\cap n|}{n}$ if the limit exists. Let $\...
- 1,135
3
votes
1
answer
148
views
Dense filter and selective ultrafilter
We say that $\rho(A)=\lim_{n\to\infty}\frac{|A\cap n|}{n}$ is the density of subset $A\subset\omega$ if the limit exists. Let us define the filter $\mathcal{F_1}=\{A\subset\omega~|~\rho(A)=1\}$.
...
- 1,135
4
votes
1
answer
187
views
The property of the dense subfilter of a selective ultrafilter
Let us define the density of subset $A\subset\omega$ :
$$\rho(A)=\lim_{n\to\infty}\frac{|A\cap n|}{n}$$
if the limit exists. Let $\mathcal{F_1}=\{A\subset\omega~|~\rho(A)=1\}$. $\mathcal{F_1}$ is the ...
- 1,135
1
vote
1
answer
116
views
Some kind of idempotence of dense filter
In discussion of following questions question1, question2, question3 became clear (see definitions in question3 ) that for the Frechet filter $\mathcal{N}$ we have $\mathcal{N}\nsim\mathcal{N}\otimes\...
- 1,135
9
votes
1
answer
272
views
Reference request: filter tends to filter along map
Recall that a filter on a set $X$ is a nonempty collection $\mathcal{F}$ of subsets of $X$ such that
(i) $U\subseteq V\subseteq X$ and $U\in\mathcal{F}$ implies $V\in\mathcal{F}$, and
(ii) $U,V\in\...
- 40.1k
4
votes
1
answer
113
views
The example of the idempotent filter or subsets family with finite intersections property
From the answer of Andreas Blass and comments of Ali Enayat on my question Selective ultrafilter and bijective mapping it became clear that for any free ultrafilter $\mathcal{U}$ we have $\mathcal{U}\...
- 1,135
2
votes
0
answers
108
views
Valuation Rings and Ultrafilters II
See my post here: Valuation Rings and Ultrafilters
Let $K$ be a field, and let $\mathcal{S}$ be the set of pairs $(R, \mathfrak{p})$ of subrings $R$ of $K$ with designated prime ideals $\mathfrak{p}$ ...
- 4,576
5
votes
1
answer
238
views
On filters possessing a countable network
Let $\mathcal F$ be a free filter on $\omega$ and $$\mathcal F^+:=\{E\subset \omega:\forall F\in\mathcal F\;E\cap F\ne\emptyset\}.$$
A family $\mathcal N$ of subsets of $\omega$ is called a network ...
- 39.6k
4
votes
1
answer
328
views
Variance of convolution between filter $A$ and Ornstein-Uhlenbeck process $x_t$
If we consider $x_t$ an Ornstein-Uhlenbeck process (with $W_t$ the Wiener process), does anyone know what would be the variance of the convolution of $x_t$ with a given filter $A$ i.e. $V(x_t \star A)$...
- 143
3
votes
0
answers
160
views
A characterization of Cauchy filters on countable metric spaces?
Given a filter $\mathcal F$ on a countable set $X$, consider the family
$$\mathcal F^+:=\{A\subset X:\forall F\in\mathcal F\;(A\cap F\ne\emptyset)\}.$$
The following characterization is well-known.
...
- 39.6k
1
vote
0
answers
195
views
About filters on real numbers
While trying to solve an open problem which I formulated earlier (currently "conjecture 1857" in this file), I met the following problem:
Let $\Delta_{\geq}+\alpha$ be the filter on $\mathbb{R}$ ...
- 729
1
vote
1
answer
75
views
Convergence of a z-filtre to an outer point
Let $X$ be a completely regular topological space and let the set
of all continuous functions from the topological space $X$ into
the topological space $\mathbb{R}$ is denoted by $C(X)$. Let
$Z(X)=\{Z(...
- 11
6
votes
1
answer
135
views
SDE for conditioning on subfiltration
Setup:
Suppose $X_t$ solves the SDE
$$
dX_t = \mu(t,X_t)dt +\sigma(t,X_t)dZ_t,
$$
where $Z_t$ is a Lévy process on $\mathbb{R}^d$, $g(t,s,x):[0,T]\times[0,1]\times \mathbb{R}^d \rightarrow \mathbb{R}^...
- 173
1
vote
1
answer
126
views
MSE of measurable function is still conditional expectation
Motivation
Then the usual stochastic filtering problem says that:
$$
\operatorname{argmin}_{Z \in L^2(\mathscr{G}_t)}\,\mathbb{E}[(Y_t-Z_t)^2],
$$
where $\mathscr{G}_t$ is the $\sigma$-algebra ...
- 4,961
2
votes
1
answer
177
views
Without Choice: Are there filters of cardinality continuum?
Is it provable, in ZF (without Choice), that every filter can be extended to one of cardinality continuum?
The extended filter is not requested to be an ultrafilter.
- 2,968
18
votes
2
answers
2k
views
Duality between topology and bornology
I want to understand in what sense topology is dual to bornology at a most basic level. Therefore, I rephrased the definition of a bornology in the following way:
Let $X$ be a set and let $\mathcal{P}...
- 1,527
4
votes
0
answers
130
views
Intuition for universal quotient maps
The universal quotient maps are precisely the descent morphisms in the category of topological spaces. In some papers of Janelidze, Tholen, Sobral, and Reiterman (see for instance Reiterman-Tholen), ...
- 10.2k
4
votes
1
answer
186
views
Convergent filters generated by (not necessarily countable) chains
Suppose $\langle X,\mathscr{O}\rangle$ is a topological space and let $\mathscr{O}_x$ be the family of all open neighbourhoods of $x\in X$. Let $\mathscr{F}$ be the filter generated from $\mathscr{O}...
- 1,082
2
votes
2
answers
397
views
Is certain topology-related set a distributive lattice?
In my research the following problem appeared (and if it is true, this solves positively several my conjectures):
Let $U$ be a fixed set (usually $U$ is infinite). Let $n$ be a fixed index set ($n$ ...
- 729
0
votes
0
answers
189
views
$\kappa$-translatability
I asked the following on MSE a few weeks ago but I did not get any answer :
https://math.stackexchange.com/questions/1039593/carlsons-translatability-are-theses-characterisations-equivalent
Reference ...
- 13
-1
votes
1
answer
253
views
Lowering from filters to ultrafilters for an infinitary relation
Let $U$ be a set. Let $N$ be a (possibly infinite) index set. Let $f$ be an $N$-ary relation on $U$ (that is $f$ is a set of functions $N\rightarrow U$).
I denote $\mathcal{L}\in \upuparrows f \...
- 729
-2
votes
1
answer
318
views
Expressing a value related to an infinitary relation through ultrafilters
Let $U$ be a set. I denote $\mathfrak{A}$ the lattice of filters on $U$ ordered reverse to set theoretic inclusion of filters. I denote $\bigvee$ and $\bigwedge$ correspondingly the supremum and ...
- 729
2
votes
1
answer
170
views
Interweaving two indexed families of filters
Conjecture
Let $U$ be an (infinite) set. Let $f$ be an $N$-ary (where $N$ is an
arbitrary index set) relation on $U$ (that is a set of functions $N
\rightarrow U$).
Let $\mathcal{L}_0$, $\...
- 729
2
votes
2
answers
322
views
Why the intersection of a scott open (or \w the relatively compactness property) filter on a topology of a sober (and 2nd countable) space is compact?
Definitions and notations.
Let $\mathcal{P}(X)$ the power set of $X$.
Let $\tau_X\subseteq\mathcal{P}(X)$ a topology on X.
We call $A$ irreducible if every time $A=B\cup C$ with $B,C$ closed set ...
- 163
8
votes
0
answers
804
views
Intersections of open sets and $\alpha$-favorable spaces
I would like to ask about some classes of topological spaces whether they have been studied, what are they called (if they have a name) and whether they have some interesting properties. For the ...
- 4,588
2
votes
0
answers
48
views
Analogous filter to Kalman filter that maximized mode instead (as opposed to minimizing variance)
I may have a potential application where maximizing the mode (as opposed to typically minimizing the variance) would be useful for state estimates. The situation may arise from skewed distributions ...
- 21
8
votes
1
answer
766
views
A characterization of the poset of filters on a set
For the lattices of all subsets of a given set, an axiomatic characterization is known: A poset is isomorphic to a set of all subsets of some set iff it is a complete atomic boolean algebra.
The ...
- 729
5
votes
1
answer
434
views
Connection between subnet and superfilter
Let's define a net and subnet in this way:
A net is any function of the form $n:(P,\le)\to X$ where $(P,\le)$ is a (preordered) directed set.
A net $m:(P',\le)\to X$ is a subnet of the net $n:(P,\le)\...
user31967
2
votes
0
answers
301
views
Research in Algebraic Geometry involving Filters.
In Gillman and Jerrison's book, "Rings of Continuous Functions", they show a nice relationship between the set of z-ideals in C(X) and the set of filters on X. One can go for with this relationship; ...
- 21
3
votes
0
answers
146
views
Theory of (definable) ideals on a multi-dimensional countable set
I'm wondering if there are any results about definable ideals/filters on $\omega\times\omega$, $\omega\times\omega\times\omega$, etc.
To give a sense of the kind of results I might be looking for: ...
- 2,743
0
votes
2
answers
1k
views
Algorithm for calculating the sum-of-squares distance of a rolling window from a given line function
Given a line function $y = ax + b$, it is easy to calculate the sum-of-squares distance between the line and a window of samples $(1, y_1), (2, y_2), ..., (n, y_n)$ (where $y_1$ is the oldest sample ...
- 65
1
vote
1
answer
167
views
Digital Filters [closed]
Can somebody help with the constructing filter by amplitude and phase spectrum? Is it possible?
I try to google it, but unsuccessufully.
I have some thoughts about solving it by system of linear ...
- 13
-12
votes
1
answer
2k
views
Direct product of filters
Product $a\times b$ of filters $a$ and $b$ is defined as the filter (on the set of binary relations) defined by the base $\{ A\times B | A\in a,B\in b \}$.
I will denote the principal filter ...
- 729
-8
votes
1
answer
2k
views
Filters and intersection of two binary relations
Let $\mathfrak{F}$ is the complete lattice of filters (including the improper filter) on some set, ordered
inverse to set-theoretic inclusion.
I will denote $\left\langle f \right\rangle \mathcal{X} =...
- 729
1
vote
1
answer
319
views
About ordering and equivalence of filters
Let $U$ is a set. I will speak about filters on this set.
If $f$ is a function and $a$ is a filter then I define $f \left[ a \right]$ as
the filter whose base is $\lbrace f[A] | A \in a \rbrace$.
I ...
- 729
8
votes
6
answers
1k
views
Spaces of filters
This question arose more from curiosity than from an actual problem. There are situations when you embed some space $X$ in a set of filters on $X$, which inherits properties of $X$ or has even better ...
1
vote
1
answer
423
views
Do filters complementive to a given filter form a complete lattice?
Really I should first ask this question here on MathOverflow and only then post it as an open problem in Open Problem Garden and propose it as a polymath problem. Indeed I did the reverse and now hope ...
- 729