Questions tagged [counterexamples]

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.

Filter by
Sorted by
Tagged with
11 votes
0 answers
150 views

Examples and counterexamples to Lack's coherence observation

In Lack's A 2-categories companion, he states There are general results asserting that any bicategory is biequivalent to a 2-category, but in fact naturally occurring bicategories tend to be ...
user avatar
  • 5,035
7 votes
2 answers
487 views

A counterexample to: $\frac{1-f(x)^2}{1-x^2}\le f'(x)$ — revisited

Can we find a counterexample to the following assertion? Assume that $f:[-1,1]\to [-1,1]$ an odd function of class $C^3$, and assume thaht $f$ is a concave increasing diffeomorphism of $[0,1]$ onto ...
user avatar
  • 133
8 votes
2 answers
583 views

Existence of nontrivial categories in which every object is atomic

An object $X$ of a cartesian closed category $\mathbf C$ is atomic if $({-})^X \colon \mathbf C \to \mathbf C$ has a right adjoint (hence is also internally tiny). Intuitively, atomic objects are &...
user avatar
  • 5,035
4 votes
0 answers
107 views

Separable metrizable spaces far from being completely metrizable

I came across a kind of separable metrizable space that is "far" from being completely metrizable. Before specifying what I mean with "far", I recall that a space is said to be ...
user avatar
  • 773
6 votes
0 answers
174 views

Failure of Baire's grand theorem when the hypothesis is weakened to separable metric space

The statement of Baire grand theorem gives a characterization of Baire class 1 functions between a completely metrizable separable space (aka Polish space) and a separable metrizable space. The ...
user avatar
  • 773
2 votes
2 answers
109 views

Odd partition with extra properties

Can such a set $A=$ {$a_1,.. a_k$} exist, such that: $\sum_i a_i = 1$ and $a_i $ are rational positive numbers $k$ is and odd number, and is at least $3$. We can partition $A$ in two parts of value $...
user avatar
  • 75
4 votes
2 answers
214 views

$\lim\inf_{t\to \infty} f(x(t))=0\Longrightarrow \lim\inf_{t\to\infty} \|x(t)\|=0$

I am a PhD student and during my research I was presented to the claim that For a positive definite function $f:\mathbb{R}\to \mathbb{R}$ continuous in $0$, with $0$ a stable point at $t=0$ for $x$, ...
user avatar
1 vote
0 answers
56 views

Prove or disprove the positivity of the ess inf of a singular function

Consider a measurable radial function $u:\Bbb R^d\to(0,\infty)$ such that $$\int_{B_\delta(0)} u(x) d x=\infty\quad\forall\,\, \delta>0.$$ I would like to prove or to disprove that there exists $r&...
user avatar
  • 720
1 vote
1 answer
60 views

Lebesgue Hausdorff Banach theorem for Baire class $1$ functions on $\mathbb{R}^\omega$

A theorem by Lebesgue, Hausdorff and Banach says the following (Kechris' Classical Descriptive Set Theory, p. 192): Let $X$ be a separable metrizable space and $f: X \rightarrow \mathbb{R}$ be a $\...
user avatar
  • 773
5 votes
1 answer
121 views

Finding non-inner derivations of simple $\mathbb Q$-algebras

What's a good example of a simple algebra over a field of characteristic $0$ which has a non-inner derivation but also has the invariant basis number property (IBN)? I'm under the impression that when ...
user avatar
  • 1,127
6 votes
1 answer
118 views

Mañé's example of an attractor with no natural measure

I'm reading Milnor's notes on dynamical systems and in Lecture 3 he gives an example of an attractor with no natural measure, which he attributes to Mañé. I can find no other reference in which this ...
user avatar
  • 63
1 vote
1 answer
74 views

Hoeffing inequality is not true for stopping time

Let $X_k$ be a sequence of iid Bernoulli random variables of parameter $p$ and let $\hat{X}_n=\frac1n\sum_{k=1}^nX_k$. Hoeffding's inequality states that for any $n$: $$\mathbb{P}(\hat{X}_n - p \ge \...
user avatar
  • 542
1 vote
1 answer
73 views

Find a Borel measure such that the closed sets aren't arbitrarily close to the Borel sets with finite measure

I would like example of measures which shows that the following propositions are false: Proposition 1: Let $\mathfrak{B}$ be the Borel $\sigma$-algebra of a topological space $X$ and $\mu:\mathfrak{B}...
user avatar
  • 203
2 votes
1 answer
221 views

What is wrong with the experimental evidence against the semi strong perfect graph theorem?

We got experimental evidence against the semi strong perfect graph theorem and would like to learn what is wrong with it. From Recognizing the P4-structure of bipartite graph The P4-structure of a ...
user avatar
  • 23.3k
7 votes
2 answers
195 views

Hausdorff quasi-Polish spaces

A topological space is said to be quasi-Polish if it is second-countable and completely quasi-metrizable (see for an introduction de Brecht's article: de Brecht, Matthew, Quasi-Polish spaces, Ann. ...
user avatar
  • 773
6 votes
1 answer
528 views

$\sum a_n = 0$ but $\sum \frac{a_n}{n} = \infty$

I'm hoping to find an explicit construction for a sequence such that $\sum a_n = 0$ but $\sum \frac{a_n}{n} = \infty$, or a proof that one cannot exist. So far, I have a good idea of how we can ...
user avatar
7 votes
2 answers
135 views

Examples of 2-categories with multiple interesting proarrow equipment structures

Proarrow equipments (also known as framed bicategories) are identity-on-objects locally fully faithful pseudofunctors $({-})_* \colon \mathcal K \to \mathcal M$ for which every 1-cell $f_*$ in the ...
user avatar
  • 5,035
-1 votes
1 answer
66 views

Example(s) where replacing a multivariate, discrete RV with a single, univariate RV fail

Let $X_1,\ldots,X_n,Y,Z$ be $n+2$ binary random variables and define $X=(X_1,\ldots,X_n)$. In most problems, instead of treating $X$ as $n$ distinct binary random variables, there is no loss of ...
user avatar
3 votes
1 answer
112 views

Are there infinite abelian real reflection groups?

Lately I have been studying reflection groups, and there is a particular example of a complex reflection group that has been very good for guiding my intuition. I would like to know if there is an ...
user avatar
2 votes
1 answer
99 views

Lower bounds on translates of a function over a compact set

Let $f\in L^p(\mathbb{R})$ and define $f_\theta(x)=f(x-\theta)$. Let $K\subset\mathbb{R}$ be a compact set. I would like to compute (or at least lower bound) the following: $$ \inf_{\theta\ne\theta'\...
user avatar
  • 45
2 votes
1 answer
65 views

Lower bounds on translates of a function

Let $f\in L^p(\mathbb{R})$ and define $f_\theta(x)=f(x-\theta)$. I would like to compute (or at least lower bound) the following: $$ \inf_{\theta\ne\theta'}\frac{\Vert f_\theta - f_{\theta'}\Vert_p}{|\...
user avatar
  • 45
2 votes
1 answer
162 views

Good prime ideals in tensor products of local rings

Let $L/K$ be a field extension. Let $R,S$ be two local commutative $K$-algebras and let $\varphi : R \to S$ be a homomorphism of $K$-algebras, not assumed to be local. Let's call a prime ideal $\...
user avatar
2 votes
1 answer
318 views

Does the difference of solutions of two unrelated PDE solve an 'intermediate' equation?

I should preface this question by saying that I strongly suspect the answer is negative, but I couldn't find the counterexample myself. Say we are working on the unit disc $D \subset \mathbf{R}^n$, ...
user avatar
  • 2,377
0 votes
3 answers
86 views

Hausdorff convergence in bounded set preserves the volume

I was wondering if Hausdorff convergence relates to the volume of the converging sets. In particular, let $(C_n)$ be a sequence of closed sets contained in a bounded, closed set $Q$. Assume that $|C_n|...
user avatar
1 vote
1 answer
144 views

Examples of $C^{k,1}$ functions which are not $C^{k+1}$?

I'm currently reading this paper and the authors define the set $C^{k,1}(\mathbb{R}^n)$ as consisting of all functions $f:\mathbb{R}^n\rightarrow \mathbb{R}$ having $k$ derivatives and for which: $$ \|...
user avatar
6 votes
3 answers
520 views

Anomalous phenomena [closed]

What are examples of strikingly anomalous phenomena in mathematics, where just one or a rather small number of cases stand out because they don't fit a general pattern? This is most interesting when ...
5 votes
0 answers
104 views

Can a manifold be triangulated with minimal surfaces

It is a fact stated as an exercise in chapter 9 of Lee's book "Riemannian Geometry" that any compact 2D manifold can be triangulated by geodesic triangles. Can one triangulate any compact ...
user avatar
  • 665
21 votes
9 answers
2k views

Nonseparable counterexamples in analysis

When asking for uncountable counterexamples in algebra I noted that in functional analysis there are many examples of things that “go wrong” in the nonseparable setting. But most of the examples I'm ...
32 votes
8 answers
4k views

Uncountable counterexamples in algebra

In functional analysis, there are many examples of things that "go wrong" in the nonseparable setting. For instance, my favorite version of the spectral theorem only works for operators on a ...
2 votes
1 answer
124 views

Looking for non-polynomial functions: with the growth condition: $\phi\big(\theta \frac{s}{t}\big) \leq \frac{\phi(s)}{\phi(t)}$

I am for example(s) of an invertible Convex or concave function $\phi: [0,\infty)\to [0, \infty)$ such that $\phi(0)=0$ and there exists $\theta>0$ and for all $s\leq t$ we have \begin{align}\label{...
user avatar
  • 720
0 votes
1 answer
86 views

Minimum-weight disjoint union of perfect matchings

Is there a counter example or proof for the claim that the lightest edge-disjoint union of a pair of perfect matchings contains the edges of the lightest perfect matching in a finite complete graph ...
user avatar
2 votes
0 answers
121 views

Primes of the form $\frac{n^2-n+4}{2}$ satisfy Hardy-Littlewood analogue?

Let $n,a,b$ be positive integers with $a<b$. Consider primes of the form $f(n)=\dfrac{n^2-n+4}{2}$. Let $C(a,b)$ denote the amount of primes of the form $f(n)$ between (and including) $f(a)$ and $f(...
user avatar
  • 441
5 votes
1 answer
171 views

Non-uniqueness of $C$ with $f_!(C) = f_*(1_{\mathcal{C}})$

$\newcommand{\Cc}{\mathcal{C}}$ $\newcommand{\Dd}{\mathcal{D}}$ $\newcommand{\Z}{\mathbb{Z}}$ $\newcommand{\Q}{\mathbb{Q}}$ $\newcommand{\tensor}{\otimes}$ $\newcommand{\colim}{\rm colim}$ $\...
user avatar
2 votes
0 answers
88 views

Sufficient coordinate-free condition for points being co-spheric

Question: is there a theorem that guarantees that $\mathcal{P}\subset\mathbb{E}^n$ is finite set of points in a Euclidean space and all radii of the $(n-1)$-spheres that are defined by the $n$-...
user avatar
0 votes
1 answer
178 views

Dense sub-algebra of $C_{b}((0,1))$ which is not smooth

I am looking for a dense sub-algebra $B$ in $C_{b}((0,1))$ in uniform topology such that it satisfy following requirements: $B\cap C^{\infty}_{b}((0,1))=\mathbb{R}$ (No polynomial, no bump function). ...
user avatar
  • 433
7 votes
0 answers
308 views

Low-Dimensional Spaces with High-Dimensional Homology

Barratt-Milnor Spheres $X_n$ are spaces with finite topological dimension $n$ but which have non-vanishing singular homology in arbitrarily high dimensions. Here, they prove that if $n > 1$ then ...
user avatar
0 votes
1 answer
104 views

Uniform approximation of indicator function of a point

Fix $x \in \mathbb{R}$ and let $I_{[x]}$ be its indicator function. Does anyone know of a sequence of (obviously) discontinuous approximations $g_n$ to $I_{[x]}$ such that $g_n$ converge uniformly ...
user avatar
0 votes
0 answers
87 views

Sequence of functions tending to zero in L^2

Let us consider a sequence of functions $f_n : (0,1)\times (0,1) \to \mathbb{R}$ in $L^2((0,1)\times (0,1))$ satisfying the following condition: $$ \lim_{n \rightarrow \infty}\int_{1/j}^{1 - 1/j}\...
user avatar
19 votes
1 answer
983 views

Smallest known counterexamples to Hedetniemi’s conjecture

In 2019, Shitov has shown a counterexample (Ann. Math, 190(2) (2019) pp. 663-667) to Hedetniemi’s conjecture, $$\chi(G \times H)=\min(\chi(G),\chi(H))$$ where $\chi(G)$ is the chromatic number of the ...
user avatar
12 votes
0 answers
393 views

Covering image of a connected CW-complex need not be a CW-complex

This question is already asked here MSE, and there is an answer based on some conjecture (probably still open). I am posting the same question for a counterexample (if any, not based on such unsolved ...
user avatar
  • 582
1 vote
1 answer
50 views

Is a cohesive set always an almost subset of a co-simple set?

A set $A\subseteq\omega$ is called a cohesive set if $C$ is finite for each recursively enumerable set $W_e$, either $A\cap W_e$ is finite or $A\cap(\omega\setminus W_e)$ is finite. And a set $A\...
user avatar
5 votes
1 answer
226 views

A "proof" that all separately continuous maps on LF-spaces are continuous

Problem Consider the locally convex spaces $C^\infty(\mathbb{R})$ and $C^\infty_c(\mathbb{R})$, the former equipped with its standard Fréchet topology, the latter equipped with the inductive limit ...
user avatar
0 votes
1 answer
85 views

Estimator preferred over the other [closed]

Suppose $\theta_1$ and $\theta_2$ two estimators of the mean $\mu$ knowing that $MSE(\theta_2) = MSE(\theta_1)$, $\theta_1$ estimates $\mu$ with a bias and $\theta_2$ estimates $\mu$ without a bias. ...
user avatar
  • 101
2 votes
0 answers
126 views

Which domains have a Poincare-Wirtinger inequality? Which don't?

A Poincare-Wirtinger inequality holds over a domain $\Omega \subseteq \mathbb R^n$ with exponentnt $1 \leq p \leq \infty$ if there exists $C(p,\Omega) > 0$ such that $\| u - \operatorname{avg}(u) \|...
user avatar
  • 4,202
1 vote
1 answer
325 views

Primality test for numbers of the form $4k+3$

Can you prove or disprove the following claim: Let $n$ be a natural number of the form $4k+3$ , and let $c$ be the smallest odd prime such that $\binom{c}{n}=-1$ , where $\binom{}{}$ denotes a Jacobi ...
user avatar
  • 2,615
1 vote
1 answer
67 views

Isotopy Classes of Non-Connected Planar Sets

I was just looking through some of my old questions on StackExchange and noticed that this one went totally unresolved. I still think it'd be useful as a lemma for plane topology if it were true, and ...
user avatar
1 vote
0 answers
393 views

A weakly sequentially continuous operator which is not weakly continuous

I'm reading some papers where the condition of weak sequential continuity is crucial instead of the weak continuity. So, let $T$ an operator between a Banach space $X$ and itself. $T$ is weakly ...
user avatar
  • 301
2 votes
0 answers
84 views

Failure of Strichartz estimates for the wave equation: elaboration of a counter-example

One can read in Oh - Probabilistic perspectives in nonlinear dispersive PDEs (Proposition 64, p. 60) that there exists a function $F \in L^2_tL^{1}_x (\mathbb{R}_t\times \mathbb{R}^3_x)$ which is ...
user avatar
  • 367
10 votes
0 answers
417 views

Primality testing using Chebyshev polynomials

Can you provide a proof or a counterexample for the claim given below? Inspired by an alternative definition of the Frobenius primality test which is given in this paper I have formulated the ...
user avatar
  • 2,615
5 votes
1 answer
233 views

Infinitely many counterexamples to Nash-Williams's conjecture about hamiltonicity?

Question from 2013 gives one counterexample to Nash-Williams's conjecture about hamiltonicity of dense digraphs. Later, we found tens of counterexamples on more than 30 vertices and believe there are ...
user avatar
  • 23.3k

1
2 3 4 5