# Tagged Questions

Examples and counterexamples are great ways to learn about the intricacies of definitions in mathematics. Counterexamples are especially useful in topology and analysis where most things are fairly intuitive, but every now and then one may run into borderline cases where the naive intuition may ...

5 views

### What are types of coalgebras that are more naturally described by cooperads?

Let $\mathsf{C}$ be a symmetric monoidal category. An object $X \in \mathsf{C}$ has two operads "naturally" (this is not the mathematical word, the two constructions aren't functorial in general) ...
42 views

### What exactly is the maximal solution of an ODE and why do we care?

I am reading these notes on the definition of a maximal solution of an ODE i.e. http://www.math.lmu.de/~philip/publications/lectureNotes/ODE.pdf But the definition is so abstract and no example is ...
56 views

### Lebesgue versus Riemann integrable

Can a Lebesgue measurable function be modified on a set of first category so as become continuous except on a set of Lebesgue measure zero? OR Can a Baire-measurable function be modified on a set of ...
31 views

### An example in Cantor's intersection theorem if the hypothesis $\text{diam}(D_n)\to0$ as $n\to\infty$ is omitted

Cantor's intersection Theorem: If $(D_n)_{n=1}^\infty$ is a sequence of nonempty closed sets in a complete metric space $(X,d)$ such that $D_{n+1}\subset D_n$ for all $n\in\mathbb{N}$ and ...
57 views

### Familiar spaces in which every one point set is $G_\delta$ but space is not first countable

In an exercise from Munkres-Topology Article 30 the author writes that there is a very familiar space which is NOT first countable but every point is a $G_\delta$ set. What is it? Though there are ...
62 views

### Example of Topological Group

I'm trying to learn about topological groups but I can't seem to google anything that provides a simple and clear example of how the set of elements of a group correspond to open sets of a topology. ...
10 views

### Recovery sequence for semicontinuous functions

I have seen that the next statement holds (if my memory is not wrong) in a certain book. (I forgot which book this is.) For a lower semicontinuous function $f:(0,1)\to\mathbb{R}$ and a given ...
27 views

### Prove or Disprove If $T : R^n \rightarrow\ell_2$ is linear, then $T(A)$ is totally bounded in $\ell_2$ when $A ⊆ R^n$ is bounded

Prove or Disprove, If $T: \mathbb R^n \rightarrow \ell_2$ is linear, then It preserves total boundedness $T(A)$ is totally bounded in $\ell_2$ when $A \subseteq\mathbb R^n$ is bounded. I think ...
26 views

55 views

### Counterexamples in integral calculus: do functions like these exist?

Could you give me examples of functions of the following kinds? A function which is Riemann-integrable AND has an antiderivative, but is not continuous A function which is Riemann-integrable, and ...
50 views

### Pseudocompact space having countable $\pi$-base but not metrizable

Can we find a normal Hausdorff space which is a countably compact locally connected space without isolated points and has a countable $\pi$-base but not metrizable? A collection $\mathcal{B}$ of ...
65 views

### If $A\dot{-} B$ is countable and $B \dot{-} C$ is countable then $A\dot{-} C$ is countable? [closed]

Prove that: If $A\dot{-} B$ is countable and $B\dot{-} C$ is countable then $A \dot{-} C$ is countable? If not give a counter-argument
20 views

### Does anybody know an example for a matrix with nullspace property for nonnegative signals?

A vector is $k$-sparse, if there are at most $k$ non-zero entries. In compressed sensing an arbitrary matrix $A\in\mathbb{R}^{m\times n}$ (with usually $m<n$) is said to have the null space ...
23 views

### False Counterexample for “for all sets A, B, and C, A ∩ (B - C) = (A ∩ B) - (A ∩ C)”

I've put together a proof on this, (which I would appreciate being verified), but I also want to know what a false counterexample might be for this? I'm new to discrete mathematics, and I'm honestly ...
34 views

### Examples of bounded linear operators with range not closed

I've been trying to get some intuition on what it means for a bounded linear operator to have closed range. Can anyone give some simple examples of such an operator that does not have closed range? ...
41 views

### Limit point Compactness does not imply compactness counter-example

I think that I understand why compactness implies limit point compactness: Suppose $A \subseteq X$ has no limit points. Then $A^{\prime} \subseteq A$. Thus, $A$ is closed. Then for all $a \in A$, ...
45 views

### What are some interesting cases where the two obvious definitions of “discrete object” diverge?

The nLab page defines "discrete object" as follows: Definition. [nLab] Let $\mathbf{C}$ denote a concrete category whose forgetful functor $U$ has a left adjoint $F$. Call the counit of this ...
21 views

### Equality of two multilinear forms

Take two multilinear forms $f,g$ defined on the same set $E$ such that $\forall x\in E,f(x,x,\dots,x)=g(x,x,\dots,x)$. Does that imply that the two functions are necessarily equal ? I can't seem to ...
174 views

### counterexample to a “theorem” on continuity of largest deltas for continuous functions $f:[a,b]\to\mathbb{R}$

"Theorem 12" in these notes states the following (verbatim): Let $f:[a,b]\to\mathbb{R}$ be continuous and let $\epsilon>0$. For $x\in[a,b]$, let ...
28 views

### Questions on symmetric difference of events

From a comment on my math overflow question: No, $P(A\bigtriangleup B)=0$ means $A$ and $B$ are essentially the same except in situations that almost surely do not happen. $P(A)=P(B)$ says much ...
2k views

### Non-associative commutative binary operation [duplicate]

Is there an example of a non-associative, commutative binary operation? What about a non-associative, commutative binary operation with identity and inverses? The only example of a non-associative ...
25 views

### Can't the first (/second) transinfinite ordinal replace the first (/second) uncountable ordinal in several counterexamples?

An example of a sequentially compact but not compact space is $\omega_1$. Indeed, any sequence of countable ordinals either has infinite elements below some countable ordinal, or has an ascending ...
42 views

### strict local extremum of $f'$ that is neither saddle nor inflection value of $f$

Is there a function $f$ with the following properties: $x_0$ is a strict local extremum of $f'$. $(x_0,f(x_0))$ is neither a saddle point of $f$ (i.e. a point with $f'(x_0) =0$ which is not local ...
30 views

### What's the biggest number used as a counterexemple? [duplicate]

I'm looking for exemples of big numbers that are counterexemple of some interesting conjecture. Do you know conjectures that seemed to be true until a million (or many more) numbers where checked?
72 views

### counterexample relating to l'Hopital's rule

Suppose there are two funtions $f(x),g(x)$ such that (as $x \to a$) we have $f(x) \to +\infty$, $g(x) \to +\infty$, and $f'(x)/g'(x) = g(x)/f(x)$. Then by l'Hopital's rule, if $\lim f(x)/g(x)$ ...
39 views

### Connectedness and path connectedness of a union

Exercise: Let $A = \{(x, \sin (1/x)): 0<x\le 1\}$ and $B = \{(x,y)\in\mathbb R_{\le 0}\times\mathbb R | 0.5\le |y|\}$ be sets and $X = A\cup B$ the union. Show that $X$ is connected and path ...
33 views

### Open and connected set in metric space [duplicate]

In a normed space, we know that if a set is open and connected, it is path connected. Is it true for general metric space or general topological space?
56 views

### Is every Hausdorff homogeneous space also regular?

Every Hausdorff topological group is regular (completely regular, in fact). Is this true if I replace topological group with homogeneous space? This is not obvious to me because there are Hausdorff ...
119 views

### Sequence in $l^p$ but not $l^q$ for all $q<p$

I need to find a sequence for real $p>1$ so it is in $l^p$ but not in any of the space $l^q$ with $1 \leq q <p$. I tried the sequence $(1/n)^{1/q}$ which is in $l^p\setminus l^q$. However, this ...
859 views

### Function with infinitely many right inverses?

I was thinking about a function with infinitely many right inverses but I could not come up with anything. Does there exist a function with infinitely many right inverses?
30 views

### Suppose $d$ is a common divisor of two numbers $a_0$ and $a_1$, can $d$ be written as a linear combination of $a_0$,$a_1$ with integer coefficients?

Suppose $d$ is a common divisor of two numbers $a_0$ and $a_1$, can $d$ be written as a linear combination of $a_0$,$a_1$ with integer coefficients? i.e. there exists two integers $i_0,i_1 \in \Bbb Z$ ...
26 views

### Construct an example where x(t, x_0) is bounded but limt→+∞ x(t, x_0) does not exist.

Suppose we are given an IVP $x = f(x), x(0) = x_0$, x ∈ R^n for which we know that the unique solution x(t, x_0) exists globally in time. Construct an example where x(t, x_0) is bounded but limt→+∞ ...
66 views

### Does there exist a Hausdorff group which is not locally compact?

A topological space is countably compact if every countable open cover has a finite subcover. A topological space $X$ is locally compact if any point has a neighbourhood which is compact. A ...
42 views

### Examples and counter-examples for rings

Here's what I am trying to do: Listing mnemonics used: $D_n(\Bbb R)$ to denote diagonal $n \times n$ matrices with real coefficients. I.D. - Integral domain, E.D. Euclidean Domain Much of the ...
98 views

### If G is open and dense subset in $\mathbb R$ then show that $G\setminus\{x\}$ is also open and dense in R. is it true in general metric space?

If $G$ is open and dense subset in $\mathbb R$ then show that $G\setminus\{x\}$ is also open and dense in $\mathbb R$. is it true in general metric space? I know as $G$ is open and singleton set ...
37 views

### Example of two analytic functions that differ at countably infinity many point

$\displaystyle f_1(x) = \frac{x^n-1}{x-1}$ and $f_2(x) = x^{n-1} + \cdots + 1$ have the same values except at $x=1$ (where $f_1$ fails to be analytic ). Is there an example of two analytic function ...
As stated in the title, I am trying to find an example of an uncountable dense subset of $[0,1]$ that has measure zero. My intuition is that such a subset cannot exist, but I do not have a proof of ...