I want to find some article or a book which contains all general properties of nets. Of course some of them similar to properties of sequences with almost the same proofs, but I don’t fill the edge, where nets and sequences starts to behave differently. Also it would be nice to find complete survey on […]

I have learned point-set topology using filters. Now I do functional analysis where we are using nets to do topological stuff. Therefore I search an introductory text on nets that is suitable for this purpose, i.e. to lay the foundations for usage in FA and maybe that the text assumes some knowledge in point-set topology, […]

Please do read carefully (I know Nets-Topology-Filters and their interrelations!!!) 1.) Why do we require nets to be indexed by directed sets (apart from it simply works compared to filters and topology). Is there a reason w.r.t. to the notion of convergence? So far there are those hints: Notion of a good Direction Uniqueness of […]

I just finished working through a proof of Tychonoff’s Theorem that uses nets (specifically, as a corollary of the fact that a net in a product space converges iff the projected nets in the components do). While I might be missing steps (I based the proofs off some optional exercises in a textbook, but the […]

Consider one of the standard methods used for defining the Riemann integrals: Suppose $\sigma$ denotes any subdivision $a=x_0<x_1<x_2\cdots<x_{n-1}<x_n=b$, and let $x_{i-1}\leq \xi_i\leq x_i$. Then if $$|\sigma|:=\max\{x_i-x_{i-1}|i=1,\cdots,n\},$$ which we shall call the norm of the subdivision, we define: $$\int_a^bf(x)dx:=\lim_{|\sigma|\to 0}\sum_{i=1}^nf(\xi_i)(x_i-x_{i-1}).$$ When one talks about the limit of a function $\lim_{x\to x_0}f(x)$, one has exactly one value […]

EDIT: The question is edited after an error pointed out by gerw. There are the following two results regarding weak convergence in $\ell^p$ spaces: Let $((\beta_n^{(\alpha)}))_{\alpha \in I} \subseteq \ell_p (\mathbb{N})$ be a net and $(\beta_n) \in \ell_p (\mathbb{N})$, where $1 < p < \infty$. Then (i). $\beta_n^{(\alpha)} \to \beta_n$ for each $n \in \mathbb{N}$ […]

Suppose $G$ is a finer filter than $F$ in a topological space $X$. Is the net base in $G$ a subnet of the net base in $F$? I am using the definitions of General Topology of Willard: Definition 12.15. If $(x_\lambda)$ is a net in $X$, the filter generated by the filter base $\mathscr C$ […]

It is well-known that there are two different ways to generalize the theory of convergence of sequences to arbitrary topological spaces: nets and filters. They are of course essentially equivalent, but each has its own minor advantages for pedagogy and intuition. Seemingly less well-known is the following common generalization of both nets and filters: Let […]

I’m trying to wrap my head around the concept of nets/subnets, especially in the following example. Let $X$ be the Banach space $\ell_{\infty}$ and $X^*$ its dual. We know by Banach-Alaoglu that the unit ball $B$ of $X^*$ is compact, but not metrizable (as $X$ is not separable). It is compact but not sequentially compact, […]

Let $(X,\mathcal T)$ be a topological space and $(x_d)_{d\in (D,\le)}$ be a net in it and let $a\in X$. Every subnet of $(x_d)_{d\in D}$ has a subnet which converges to $a$. Does $(x_d)_{d\in D}$ converge to $a$? In fact, $a$ is a cluster point of every subnet as defined in this wikipedia page.

Intereting Posts

Let $A$ be a square complex matrix of size $n$ then $\langle Ax,x\rangle=0$ for $\forall x \in \Bbb C^n$ $\iff A=0$
Show that if $f'$ is strictly increasing, then $\frac{f(x)}{x}$ is increasing over $(0,\infty)$
Quadratic extensions of $\mathbb Q$
The number of summands $\phi(n)$
About the number of inequivalent irreducible representations of a finite group
Probability of two events
Why is there no “remainder” in multiplication
What Topology does a Straight Line in the Plane Inherit as a Subspace of $\mathbb{R_l} \times \mathbb{R}$ and of $\mathbb{R_l} \times \mathbb{R_l}$
Evaluate $\int\frac{1}{1+x^6} \,dx$
Can a real symmetric matrix have complex eigenvectors?
How to derive the Dirichlet-multinomial?
Calculating custom bits of PI in hex or binary without calculating previous bits
Uniform $L^p$ bound on finite measure implies uniform integrability
$C_c^{\infty}(\mathbb R^n)$ is dense in $W^{k,p}(\mathbb R^n)$
Visualizing products of $CW$ complexes