# Tagged Questions

A counterexample is an example that disproves a mathematical conjecture or a purported theorem. For example, the Peterson graph is a counterexample to many seemingly plausible conjectures in Graph Theory.

616 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 ...
184 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 ...
235 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)$,...
89 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 ?
50 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 ...
119 views

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 ...
199 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 ...
497 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 ...
150 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 ...
136 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 ...
168 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$....
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 (...
214 views

### Bialgebras with Hopf restricted duals

It is known from the general theory that, given a bialgebra (over a field $k$) $$\mathcal{B}=(B,\mu,1_B,\Delta,\epsilon)$$ the Sweedler's dual $\mathcal{B}^0$ (called also ...
173 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 ...
445 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}$...
115 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)$, ...
220 views

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?
383 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 ...
240 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 ...
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 ...
499 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$ ...
151 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 ...
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 ...
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$?
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. ...
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|$?
176 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 ...
778 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 ...
724 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 ...
98 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 ...
228 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 ...
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 ...
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)$?