Skip to main content
edited tags
Link
user9072
user9072
deleted 2 characters in body
Source Link
user31967
user31967

Let's define a net and subnet in this way:

  • A net is a 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)\to X$ iff there is a function: $$\theta:(P',\le)\to (P,\le)$$ which is increasing: $$x'\le y' \to \theta(x')\le\theta (y')$$ and cofinal: $$(\forall p\in P)(\exists p'\in P')(p\le\theta(p'))$$ and $m=n\circ\theta$.
  • The filter assigned to a net $n:(P\le)\to X$ is the filter generated by $$\lbrace \lbrace n(x)\mid x\ge p \rbrace \mid p\in P\rbrace$$ on X. We denote this filter by $\mathcal F_n$,

My question is:

Are there nets $m:(P',\le)\to X$ and $n:(P,\le)\to X$ with $$\mathcal F_n\subseteq \mathcal F_m$$ such that $m$ is not a subnet of $n$?

Let's define a net and subnet in this way:

  • A net is a 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)\to X$ iff there is a function: $$\theta:(P',\le)\to (P,\le)$$ which is increasing: $$x'\le y' \to \theta(x')\le\theta (y')$$ and cofinal: $$(\forall p\in P)(\exists p'\in P')(p\le\theta(p'))$$ and $m=n\circ\theta$.
  • The filter assigned to a net $n:(P\le)\to X$ is the filter generated by $$\lbrace \lbrace n(x)\mid x\ge p \rbrace \mid p\in P\rbrace$$ on X. We denote this filter by $\mathcal F_n$,

My question is:

Are there nets $m:(P',\le)\to X$ and $n:(P,\le)\to X$ with $$\mathcal F_n\subseteq \mathcal F_m$$ such that $m$ is not a subnet of $n$?

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)\to X$ iff there is a function: $$\theta:(P',\le)\to (P,\le)$$ which is increasing: $$x'\le y' \to \theta(x')\le\theta (y')$$ and cofinal: $$(\forall p\in P)(\exists p'\in P')(p\le\theta(p'))$$ and $m=n\circ\theta$.
  • The filter assigned to a net $n:(P\le)\to X$ is the filter generated by $$\lbrace \lbrace n(x)\mid x\ge p \rbrace \mid p\in P\rbrace$$ on X. We denote this filter by $\mathcal F_n$,

My question is:

Are there nets $m:(P',\le)\to X$ and $n:(P,\le)\to X$ with $$\mathcal F_n\subseteq \mathcal F_m$$ such that $m$ is not a subnet of $n$?

deleted 1 characters in body; edited title
Source Link
user31967
user31967

Connection between subnet and superfilter.

Let's define a net and subnet in this way:

  • A net is a 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)\to X$ iff there is a function: $$\\theta:(P',\le)\to (P,\le)$$$$\theta:(P',\le)\to (P,\le)$$ which is increasing: $$x'\le y' \to \theta(x')\le\theta (y')$$ and cofinal: $$(\forall p\in P)(\exists p'\in P')(p\le\theta(p'))$$ and $m=n\circ\theta$.
  • The filter assigned to a net $n:(P\le)\to X$ is the filter generated by $$\lbrace \lbrace n(x)\mid x\ge p \rbrace \mid p\in P\rbrace$$ on X. We denote this filter by $\mathcal F_n$,

My question is:

Are there nets $m:(P',\le)\to X$ and $n:(P,\le)\to X$ with $$\mathcal F_n\subseteq \mathcal F_m$$ such that $m$ is not a subnet of $n$?

Connection between subnet and superfilter.

Let's define a net and subnet in this way:

  • A net is a 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)\to X$ iff there is a function: $$\\theta:(P',\le)\to (P,\le)$$ which is increasing: $$x'\le y' \to \theta(x')\le\theta (y')$$ and cofinal: $$(\forall p\in P)(\exists p'\in P')(p\le\theta(p'))$$ and $m=n\circ\theta$.
  • The filter assigned to a net $n:(P\le)\to X$ is the filter generated by $$\lbrace \lbrace n(x)\mid x\ge p \rbrace \mid p\in P\rbrace$$ on X. We denote this filter by $\mathcal F_n$,

My question is:

Are there nets $m:(P',\le)\to X$ and $n:(P,\le)\to X$ with $$\mathcal F_n\subseteq \mathcal F_m$$ such that $m$ is not a subnet of $n$?

Connection between subnet and superfilter

Let's define a net and subnet in this way:

  • A net is a 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)\to X$ iff there is a function: $$\theta:(P',\le)\to (P,\le)$$ which is increasing: $$x'\le y' \to \theta(x')\le\theta (y')$$ and cofinal: $$(\forall p\in P)(\exists p'\in P')(p\le\theta(p'))$$ and $m=n\circ\theta$.
  • The filter assigned to a net $n:(P\le)\to X$ is the filter generated by $$\lbrace \lbrace n(x)\mid x\ge p \rbrace \mid p\in P\rbrace$$ on X. We denote this filter by $\mathcal F_n$,

My question is:

Are there nets $m:(P',\le)\to X$ and $n:(P,\le)\to X$ with $$\mathcal F_n\subseteq \mathcal F_m$$ such that $m$ is not a subnet of $n$?

deleted 2 characters in body
Source Link
user31967
user31967
Loading
Source Link
user31967
user31967
Loading