**13**

votes

**1**answer

602 views

### Non-isomorphic rings that are localizations of each other

Do there exist commutative rings $A$ and $B$ and multiplicative subsets $S\subseteq A$, $T\subseteq B$ such that $A\not\simeq B$ but $S^{-1}A \simeq B$ and $T^{-1} B\simeq A$?
This question comes ...

**3**

votes

**1**answer

148 views

### Reference or counter-example for Closed Graph Theorem for multivalued maps in general topological spaces

Could someone be so kind to point me in the direction of a citeable proof of the following version of the Closed Graph Theorem? (i.e. assuming this is true, could someone give me a literature ...

**7**

votes

**2**answers

226 views

### Why $M_1 \subset M_2 \not \Rightarrow N_{M_1} (\lambda) \leq N_{M_2} (\lambda)$ for eigenvalue problem? (EDIT)

We know that for a direct problem with Dirichlet Boundary Condition (with Laplacian operator) that if two domains $M_1$ and $M_2$ are such that $M_1 \subset M_2$, then $\lambda(M_2) \leq \lambda(M_1)$,...

**0**

votes

**1**answer

80 views

### Sequentially continuous but not continuous linear map $(X^*, w^*)$ to $(Y^*,w^*)$

Let $X, Y$ be Banach spaces and let $T : (X^*, w^*) \rightarrow (Y^*,w^*)$ be a linear map. Suppose that $T$ is sequentially continuous. Must $T$ be weak*-to-weak*-continuous ?

**-2**

votes

**1**answer

48 views

### Is every implicit function reparametrized? [closed]

Consider a continously differentiable non-constant function $f:\mathbb{R}^2\to\mathbb{R}$. Define
$$
K=\{x\in\mathbb{R}^2|f(x)=0\}.
$$
I wish to know whether there is a continuously differentiable ...

**5**

votes

**1**answer

114 views

### is the maximal tensor product of compact operators an essential ideal?

I'm searching for a counterexample for $C^*$-algebras $A$ and $B$ and essential ideals (I assume an ideal to be closed and only two-sided ideals) $I\subseteq A$, $J\subseteq B$ , such that the ideal $...

**4**

votes

**0**answers

46 views

### Looking for a Collection of Examples and Counter Examples for Assumptions about the Properties of Planar Euclidean TSP Instances?

Where can I find example and counter examples to seemingly plausible assumption about the properties of optimal solutions of planar euclidean TSP instances?
The reason for asking is that the ...

**6**

votes

**1**answer

116 views

### Convex Hull of univalent functions and Bieberbach Conjecture

Consider the class $S$ of univalent functions on the unit disk $D$ normalized so that $f(0)=0$ and $f'(0)=1$.
Each function in $S$ satisfy the Bieberbach conjecture, that is the $n$-th coefficient in ...

**3**

votes

**1**answer

92 views

### If $\min(\alpha,F)$ has only one root in $E$, must $\min(p(\alpha),F)$ have only one root in $E$

Let $F\subseteq E$ be an algebraic field extension. Let $\alpha\in E$ be such that $\min(\alpha,F)$ has only one root in $E$ (which will be $\alpha$). Is it true that for any $p(x)\in F[x]$ we must ...

**1**

vote

**1**answer

104 views

### Dependent Bernoulli sequence for which the strong law fails to hold

Background:
The strong law of large numbers (SLLN) is a powerful result in
probability, and there has been extensive literature on when the SLLN holds.
However, constructing nontrivial examples for ...

**9**

votes

**1**answer

349 views

### A strengthening of Frankl's union-closed sets conjecture?

A Frankl family is a nonempty finite family $\mathcal F$ of nonempty finite sets such that $A,B\in\mathcal F\implies A\cup B\in\mathcal F.$ Define $d_\mathcal F(x)=|\{A\in\mathcal F:x\in A\}|$ and $\...

**1**

vote

**1**answer

110 views

### Feller processes / probability generators

I am looking for a example of a function in $C_0(\mathbb{R})$ such that $f',f'' \,\text{and}\, f''' \in C_0(\mathbb{R})$ with
$$ \inf f < \inf (f-a*f''')$$ for some $a>0$, but I couldn't find ...

**3**

votes

**2**answers

195 views

### Bellman-Ford for Matching Problems?

I am looking for a simple way of calculating minimum-weight perfect matchings in complete graphs with an even number of vertices.
I know that there are implementations that are based on Edmond's ...

**0**

votes

**2**answers

495 views

### What is wrong with this counterexample to the Weak Bunyakovsky's conjecture and reformulation of Bunyakovsky's conjecture?

From HYPOTHESIS H AND AN IMPOSSIBILITY THEOREM OF RAM MURTY.
On p. 13
BUNYAKOVSKY’S CONJECTURE ( WEAK FORM ). Let $f$ be a polynomial with
integer coefficients and positive leading coefficients ...

**4**

votes

**1**answer

148 views

### An open mapping theorem for homogeneous functions?

I am researching different generalizations of the familiar open mapping theorem from functional analysis. Every "proof" I attempt while simply assuming positive-homogeneity, even in the finite-dim ...

**5**

votes

**1**answer

134 views

### Does the property of being a local homeomorphism descend through split surjections?

Let $f : X \to Y$ and $g : Y \to Z$ be continuous maps (between topological spaces). Assume these hypotheses:
$f : X \to Y$ is a split surjection, i.e. has a section.
$g \circ f : X \to Z$ is a ...

**4**

votes

**1**answer

167 views

### Example to show pairwise crossing number is not equal to crossing number

A common point of two edges in a graph drawing that is not an incident vertex is called a crossing.
The crossing number $cr(G)$ is defined to be the minimum number of crossings in any drawing of $G$....

**4**

votes

**2**answers

287 views

### Counterexample on completely distributive lattices

I would like to see an example of a complete lattice $C$ which is both a frame and a dual-frame, i.e. finite meets distribute over arbitrary joins and finite joins distribute over arbitrary meets (...

**8**

votes

**0**answers

214 views

### Bialgebras with Hopf restricted duals

It is known from the general theory that, given a bialgebra (over a field $k$)
\begin{equation}
\mathcal{B}=(B,\mu,1_B,\Delta,\epsilon)
\end{equation}
the Sweedler's dual $\mathcal{B}^0$ (called also ...

**1**

vote

**2**answers

171 views

### Spaces for which separable is equivalent to second-countable

While it is well known for metric spaces, being separable is equivalent to be second-countable. In this post I give a counterexample for a non metric space.
What are other topological properties that ...

**15**

votes

**2**answers

439 views

### Counterexample for associativity of smash product

In Section 1.7 of Parametrized Homotopy Theory by May and Sigurdsson it is stated that the smash product of pointed topological spaces is not associative (which is just another hint that $\mathrm{Top}$...

**3**

votes

**0**answers

114 views

### Is a concretely reflective full concrete subcategory necessarily finally dense?

On p.371 of "The Joy of Cats", by J.Adamek H.Herrlich and G.E.Strecker:
Proposition 21.32
If a topological category $(\mathbf{A},U)$ is a finally dense full concrete subcategory of $(\mathbf{B},V)$, ...

**4**

votes

**2**answers

217 views

### Colimit density and monads

Let $C$ be a cocomplete category, and suppose that it has an object that is colimit dense. Is $C$ automatically monadic over $Set$? And if not, is there an explicit counterexample?

**12**

votes

**2**answers

379 views

### ODE properties true in finite dimension but not in Banach spaces of infinite dimension

Some properties of Ordinary Differential Equations - ODE are true in finite dimension spaces but not in Banach spaces of infinite dimension.
The first one I know is the Peano existence theorem. I ...

**11**

votes

**1**answer

239 views

### counterexample regarding quotient algebras in forcing

Suppose $A$ and $B$ are complete subalgebras of a complete boolean algebra $C$. Let $G \subseteq A$ be generic. In the extension $V[G]$, we can define the quotient algebras $B/G$ and $C/G$ in the ...

**42**

votes

**2**answers

1k views

### Can a subset of the plane have nontrivial $H_2$ or $\pi_2$?

This is a question that occurred to me years ago when I was first learning algebraic topology. I've since learned that it's a somewhat aesthetically displeasing question, but I'm still curious about ...

**3**

votes

**1**answer

496 views

### A.e. pointwise convergence of L2 functions - counterexample for generalization of Carleson's thm

Let $f_n \in L^2[0,1]$ be an orthonormal sequence and let $c_n \in \mathbb C$ be such that $\sum_{n = 1}^{\infty} |c_n|^2 < \infty$. Does this imply that the sequence $\sum_{n = 1}^{\infty}c_nf_n$ ...

**1**

vote

**3**answers

150 views

### On the existence of compactly supported functions whose its Fourier transform satisfies a given condition

My question is concerned with the existence of compactly supported functions whose its Fourier transform satisfies a given condition: For $\gamma\ge 1$, one can prove that there is no compactly ...

**2**

votes

**1**answer

162 views

### Counterexample for the Generalized Associativity Equation

The Generalized Associativity Equation is given by
$$ F(G(x,y),z)=K(x,H(y,z)),$$
where the functions $F,G,H$ and $K$ are all from $\mathbb{R}^2$ to $\mathbb{R}$. In his book "Lectures on Functional ...

**3**

votes

**1**answer

211 views

### Cancellative semigroup on a distributive lattice

Let $(S,\le)$ be a distributive lattice. Is there a semigroup structure on $S$ such that $S$ is cancellative and always $(x\wedge y)(x\vee y)=xy$?

**47**

votes

**37**answers

6k views

### Results true in a dimension and false for higher dimensions

Some theorems are true in vector spaces or in manifolds for a given dimension $n$ but become false in higher dimensions.
Here are two examples:
A positive polynomial not reaching its minimum. ...

**11**

votes

**1**answer

280 views

### Maximum length of a chain of topologies on $\Bbb R$

Let $\frak T$ be a totally ordered set of topologies on $\Bbb R$.
Is $|\frak T|\le |\Bbb R|$?

**1**

vote

**1**answer

153 views

### edge graph reconstruction conjecture : set vs multi set

Why is the edge reconstruction conjecture stated with the deck defined as the multi set of graphs formed by deleting one edge? Can someone give an example of two graphs such that the edge deleted ...

**24**

votes

**3**answers

773 views

### Removal of non-isomorphic edges results in the same graph

There exists a (simple unlabeled) graph on 6 nodes with a pair of non-isomorphic edges (i.e., there is no graph automorphism that sends one edge into the other) such that removal of either of them ...

**10**

votes

**3**answers

720 views

### Are all vector-space valued functors on sets free?

Let $\mathbf{Set}$ be the category of finite sets and functions between them, and let $\mathbf{Vect}$ be the category of finite-dimensional complex vector spaces and linear transformations between ...

**4**

votes

**1**answer

95 views

### Counterexample for closedness under union of $\prec_{\infty,\kappa}$ chains

Assume $\kappa$ is uncountable and $\phi$ is an $L_{\infty,\kappa}$ sentence. Let $K$ be the collection of models of $\phi$ partially ordered by $\prec_{\infty,\kappa}$. It is well-known that $K$ is ...

**0**

votes

**1**answer

225 views

### Examples of groups such that order isomorphism of the subgroups of $G\times G$ and $H\times H$ does not imply isomorphism of $G$ and $H$

Let $G$ and $H$ be groups, $\operatorname{Sub}(G\times G)$ be the set of all subgroups of $G\times G$ and $\operatorname{Sub}(H\times H)$ be the set of all subgroups of $H\times H$. Assume there ...

**21**

votes

**1**answer

1k views

### Possible counterexample to a theorem assuming Lang's conjecture

Looks like I found a counterexample to a theorem assuming Lang's conjecture,
but not sure it is correct.
Boundedness of Mordell–Weil ranks of certain elliptic curves and Lang’s conjecture
p. 2
...

**2**

votes

**1**answer

212 views

### generality of the lattice of normal subgroups

Let $(X,\le)$ a (finite) modular lattice. Is there a (finite) group $G$ such that the lattice of all normal subgroups of $G$ is isomorphic to $(X,\le)$?

**1**

vote

**2**answers

150 views

### Hausdorffness inheritance in topological groups

Suppose $\mathcal T$ and $\mathcal S$ are two compatible Hausdorff topologies on a group $G$ and $\mathcal R$ is a maximum compatible topology on $G$ with $\mathcal R \subseteq \mathcal T\cap \mathcal ...

**3**

votes

**1**answer

97 views

### existence of more distributive Boolean lattices

Are there a Boolean lattice $(X,\le)$ and a nonempty collection $(a_{ij})_{i\in I,j\in J}\subseteq X$ such that
$$\bigvee_{i\in I}\bigwedge_{j\in J}{a_{ij}}\ne \bigwedge_{f:I\to J}\bigvee_{i\in I}a_{...

**1**

vote

**1**answer

173 views

### Does the going-up theorem hold between flat algebras?

Let $R$ be a commutative Noetherian ring with unit and $S$ a flat $R$-algebra. Does the going-up theorem hold between $R$ and $S$?

**1**

vote

**1**answer

243 views

### Failure of Noether normalization

I was in a class recently where we were trying to roughly count the dimensions of certain spaces of rational maps from algebraic curves into closed subschemes $Z \subseteq \mathbb{A}^n$. One way to ...

**0**

votes

**0**answers

68 views

### hyperspaces and selection principals

Two things bother me for which I haven't found an answer yet:
1.Is anyone familiar with an example of a topological space $X$, in which the hyperspace $2^X$ with the upper Fell topology is non-...

**4**

votes

**2**answers

793 views

### Examples of complete distributive lattices that are not Heyting algebras

Here is a short question with a possibly simple and short answer:
I need an example of a complete distributive lattice that is not a Heyting algebra which should be an infinite complete lattice that ...

**33**

votes

**16**answers

3k views

### Counterexamples in universal algebra

Universal algebra - roughly - is the study, construed broadly, of classes of algebraic structures (in a given language) defined by equations. Of course, it is really much more than that, but that's ...

**1**

vote

**1**answer

118 views

### order of convergence of the conditional entropy (2)

Let $X_n$ be a random variable distributed on $A_n:=\{1, \ldots, n\}$ and $g_n\colon A_n \to A_n$ such that $\Pr\big(X_n \neq g_n(X_n)\big) \to 0$. Putting $Y_n=g_n(X_n)$, then by Fano's inequality $$\...

**6**

votes

**1**answer

191 views

### Conjecture of Spira on the zeros of $\zeta^\prime(s)$

Let $N(T)$ be the number of complex zeros of $\zeta(s)$ with imaginary part between $0$ and $T$, and let $N_k(T)$ be the analogous counting function for the $k$th derivative $\zeta^{(k)}(s)$. Based ...

**6**

votes

**1**answer

342 views

### Group scheme counterexample

Could someone give me an example of a finite group scheme $G$ (over some base $S$) so that $G$ minus a point is still a group scheme over $S$, but not affine over $S$?
Oort mentions that there are ...

**1**

vote

**0**answers

183 views

### Naive conjecture about zeros and local extrema of $\Re \zeta(\sigma+i t)$ (resp. $\Im \zeta(\sigma+ it)$) for $ 0 \le \sigma \le \frac12$

Based on limited numerical evidence, I suspect this conjecture.
Conjecture: Fix $ 0 \le \sigma \le \frac12$ and let $t > 0$. Between consecutive local extrema of $\Re \zeta(\sigma+i t)$ (resp. $\...