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 ...

learn more… | top users | synonyms (2)

3
votes
2answers
162 views

Is the converse of Sylvester's inertia law true?

Let $A,B$ be $n\times n$ symmetric matrices. Assume the positive,negative,0 index of $A$ and $B$ are the same. (That is, they have the same inertia) Then, are $A,B$ congruent? What is a ...
8
votes
1answer
340 views

A counter example in obstruction theory

Let $K$ denote a simplicial complex and $Y$ some topological space. Let us also denote by $K^n$ the $n$-skeleton of $K$. I would like to have an example for the following situation: There is a map ...
6
votes
1answer
92 views

An example of a simple infinite $2$-group

Is there an example of a simple infinite $2$-group? Informations If a $2$-group is Artinian I know that it also locally finite, so the simple $2$-group cannot be Artinian. Take the subgroup ...
0
votes
2answers
70 views

Compactness: Opens vs. Neighborhoods

Disclaimer: This thread is a record of thoughts. Discussion Given a compact set. Do mere neighborhood covers admit finite subcovers? $$C\subseteq\bigcup_{i\in I}N_i\implies C\subseteq ...
2
votes
2answers
37 views

Groupoid with division

I'm searching an example of a grupoid with division which is not a quasigroup. A grupoid $(G, \cdot)$ is with division if $a\cdot G=G\cdot a=G$. I was thinking to try $(\mathbb{Q},\cdot)$, where ...
0
votes
1answer
29 views

Do there exist semi-local Noetherian rings with infinite Krull dimension?

Do there exist semi-local Noetherian rings with infinite Krull dimension? As far as I know, Nagata's counterexample to the finite dimensionality for general Noetherian rings is not semi-local.
1
vote
2answers
161 views

Are there algebraic subgroups of Lie groups which happen to be Lie groups on their own but not Lie subgroups?

Let $G$ and $H$ be Lie groups and $i:H\to G$ an injective group homomorphism, not necessarily continuous. Once $i$ is continuous, it follows easily that $i$ is differentiable and even an immersion. ...
0
votes
1answer
72 views

Non-subdifferentiable convex function on a normed space

Is there any convex function $f$ on a normed space $X$ such that $\partial f(x)=\emptyset$ at every $x\in X$?
0
votes
2answers
43 views

Linear algebra questions

$M$ and $N$ subspaces of $V$. Give examples of $M$ and $N$ such that $M\cup N$ and $M\setminus N$ are not subspaces.
0
votes
1answer
29 views

Proof by counter-example

As is probably obvious by the title I cannot work out any set of numbers which disporoves the following conjecture $$ a^2 > b^2 => a > b $$ where A and B are real numbers. Anyone to give a ...
2
votes
0answers
37 views

Is a limit of a sequence of distribution functions is necessarily a distribution function

I got a question: "is a limit of a sequence of distribution functions is necessarily a distribution function". My answer is NO. I have a counterexample: $F_n(x)=0$ if $x<n$ and $1$ otherwise. It ...
1
vote
1answer
51 views

Differentiable continuous function whose derivative is not continuous [duplicate]

Is there a function which is continuous and differentiable, but is not smooth function? By smooth I mean having continuous derivative. For example, the derivative of $f(x)=x|x|/2$ is $f'(x)=|x|$ ...
2
votes
1answer
106 views

Weaker definitions of Lie subgroups

A Lie group $H$ is called a Lie subgroup of a Lie Group $G$ if there is a map $i:H\to G$ which is (a) an injective immersion and (b) a group homomorphism. My questios are: What happens if we replace ...
2
votes
1answer
116 views

Counter-example to Cauchy-Peano-Arzela theorem

I was looking for a counter-example to Cauchy-Peano-Arzela theorem. I found this paper (in french) from Dieudonné. [acta.fyx.hu] Take $E = c_0$ to be the space of real sequences converging to $0$, ...
12
votes
6answers
481 views

Just How Strong is Associativity?

A friend of mine is using a lot of algebra that is not associative for an advanced Chemistry project. We were discussing it recently and I found it rather amusing how often she said things like ...
0
votes
1answer
38 views

Example of a non-abelain finite group $G$ with $G/N$ abelian and infinite group $G$ with $G/N$ finite

Have not been able to think of a examples with the following properties: Example of a non-abelian finite group $G$ with property that $G/N$ is abelian for every non-trivial normal subgroup $N$ of ...
2
votes
0answers
97 views

An example of wreath product

I was analyzing the following example of wreath product of groups. Let $\mathbb{Z}_2$ be the cyclic group of order two and $\mathbb{Z}$ be the usual additive group of integers. Consider the ...
0
votes
1answer
43 views

How to find example such $A^{(n)}$ are different each other

let denoted $A'$ Derived set,and define $$A'=A^{(1)},(A^{(1)})'=A^{(2)},\cdots,(A^{(n)})'=A^{(n+1)}$$ Question: Take example the set $A$,such $A^{(k)},k=1,2,\cdots,n+1$ are different ...
1
vote
2answers
38 views

A question about the orders of the elements of a group [duplicate]

Let $m$ and $n$ be to positive integers strictly larger than $1$. Is it possible to find a group $G$ in which there are two elements, say $a$ and $b$, such that the order of $a$ is $m$, the order of ...
1
vote
1answer
35 views

Example of a unbounded projection

Let $H$ be a Hilbert space over $\mathbb{K}$. Let $T:H\rightarrow H$ be a linear transformation such that $T^2=T$. What is an example of $T$ such that $T$ is unbounded?
7
votes
4answers
670 views

Simple (even toy) examples for uses of Ordinals?

I want to describe Ordinals using as much low-level mathematics as possible, but I need examples in order to explain the general idea. I want to show how certain mathematical objects are constructed ...
6
votes
1answer
104 views

Prove or disprove that ${F_{n}^2} + 43$ is always a composite

This is a kind of follow-up to another question, but in order not to burden that question and its answers with new comments, I decided to create this separate question. Also, it looks this problem is ...
6
votes
1answer
119 views

Prove or disprove that ${F_{n}}^2 + 41$ is always a composite

The problem: Prove or disprove: If $F_{n}$ is the $n^{th}$ Fibonacci number then $${F_{n}}^2 + 41$$ is always a composite number. It looks that if $n$ is not multiple of 12, ${F_{n}}^2 + 41$ ...
6
votes
1answer
187 views

Fibrations with isomorphic fibers, but not Zariski locally trivial

I am looking for examples of fibrations $f:X\to Y$ where the fibers are all isomorphic, but $f$ is not Zariski locally trivial. In particular, I am interested in understanding how much such examples ...
1
vote
2answers
77 views

Exactness of $dx,dy$

Let $dx,dy$ denote differential $1$-forms. It is easy to verify that they are closed. My question is: Does there exist a space such that either $dx$ or $dy$ or both are exact? (A ...
2
votes
3answers
304 views

Does separability imply the Lindelöf property?

Does separability imply a sort of Lindelöf property? Since I can't prove this fact I'm beginning to think that my conjecture is false. Intuitively, $\mathbb{R}$ has a countable subset $\mathbb{Q}$ ...
0
votes
2answers
40 views

Existence Adjoint Operator: Boundedness?

Context This would make the check on the GNS construction much more simple. Problem Given a Hilbert space $\mathcal{H}$. Consider a merely linear operator $A:\mathcal{H}\to\mathcal{H}$. Suppose ...
2
votes
4answers
75 views

Example where $\lim\limits_{m\rightarrow\infty} \int_E f_m =0$ and $f_m(x) \not\rightarrow 0$

I am looking for an example of a sequences of non-negative and measurables functions with $\lim\limits_{m\rightarrow\infty} \int_E f_m =0$ and $f_m \nrightarrow 0 \:\:\forall\:x\in E$
2
votes
1answer
96 views

Example of a Problem Made Easier with Skew Coordinates

Skew or oblique coordinate systems are coordinate systems where the angle between the axes is not 90 degrees. The second answer to this question has formulas to convert between these systems with an ...
0
votes
1answer
109 views

Counterexample to disprove that $P(A-B) = P(A) - P(B)$?

Assuming $P(A)$ is the power set of $A$, would this be a correct counterexample for the statement that $P(A-B) = P(A) - P(B)$? Let $A = \{2, 3\}$ and $B = \{2\}$, therefore $C = \{3\}$. $P(A-B) = ...
4
votes
0answers
44 views

about the closure of by pointwise convergence of sequences.

In the book "Integration Theory" (LNM315, K.Bichteler, p.65) a family $\mathcal{F}$ of real function is called full if it is close by pointwise convergence of dominated (by some element of ...
2
votes
1answer
46 views

Why is it so difficult to obtain the spectral properties related to infinite matrices, especially when they are not symmetric?

I believe most of the spectral theory is revolving around the bounded self-adjoint linear operators being analogous to real symmetric infinite matrices. Whereas, there are cases when the matrices are ...
13
votes
4answers
197 views

A continuous function on $[0,1]$ not of bounded variation

I'm looking for a continuous function $f$ defined on the compact interval $[0,1]$ which is not of bounded variation. I think such function might exist. Any idea? Of course the function $f$ such ...
1
vote
2answers
52 views

Does every inner product space have an orthonormal basis?

I'm reading Halmos' text and he defines 'basis' as a maximal orthonormal subset of a Hilbert space $H$, but this definition seems inconsistent with the standard definition of basis. With the standard ...
2
votes
4answers
65 views

Examples of magmas with all their elements idempotents

A magma is supposed to be closed under a binary operation. Are there examples of magmas with all their elements idempotents under the operation of the magma?
28
votes
6answers
2k views

Can you give me some concrete examples of magmas?

I've seen the following: I've learned a bit about groups and I could give examples of groups, but when reading the given table, I couldn't imagine of what a magma would be. It has no ...
0
votes
1answer
59 views

Example of a non-splitting exact sequence $0 → M → M\oplus N → N → 0$

Recently, someone stated that every short exact sequence (of, say, modules) of the form $$0 → M → M \oplus N → N → 0$$ splits. I think this is false in general because the arrow $M → M \oplus N$ might ...
1
vote
1answer
47 views

Does convolution of two functions in $H^s(\mathbb{R})$ belong to $H^{2s}(\mathbb{R})$?

Let $f$, $g$ be two density functions and assume that $f,g\in H^s(\mathbb{R})$, $s>\frac{1}{2}$, where $${H^s}(\mathbb{R}) = \left\{ {u:\int_{ - \infty }^\infty {{{\left| {\hat u\left( t \right)} ...
5
votes
1answer
97 views

Does $(X)(Y)=(XY)$ for $X,Y\subseteq R$?

Let $R$ be a commutative ring. Denote by $X\ast Y=\{xy\mid x\in X,y\in Y\}$ the complex product of subsets. I want to show that given subsets $X,Y\subseteq R$ the following ideals are equal: ...
0
votes
1answer
50 views

Projection onto a subset in norm space

Let $X$ be a norm space, $S$ be a subset of $X$, for each $x\in X$, denote the set of projection from $x$ to $S$ by $\Pi(x; S):=\{s\in S: \ \|x-s\| =d(x;S)\}$, where $d(x;S):=\inf\{\|x-s\|: \ s\in ...
6
votes
1answer
90 views

Is this series $\sum_{n \geq 2}\sqrt{a_n}\frac{n^{a_n}-1}{\ln n}$ always divergent?

Let $\displaystyle \sum a_n$ be a series with positive terms which is a convergent series and suppose that we don't have $\displaystyle a_n \ln n \rightarrow 0$. Is the following series always ...
0
votes
1answer
46 views

What is an example such that $f(x)\neq \sum_{m=0}^{k-1} \frac{f^{(m)}(\alpha)}{m!} (x-\alpha)^m + \frac{f^{(k)}(\psi)}{k!} (x-\alpha)^k$?

Let $f:[a,b]\rightarrow \mathbb{C}$ be a $C^{k-1}$ and assume $f^{(k-1)}$ is differentiable on $(a,b)$. If the range of $f$ is real, then the usual taylor's theorem holds, but I'm not sure whether ...
1
vote
1answer
42 views

Topological Spaces: Pre-Uniform Structures

Disclaimer This thread is meant to record. See: Answer own Question Reference It is a follow-up to: Uniform Spaces: Neighborhood System It has relevance to: TVS: Uniform Structure Problem Given ...
2
votes
0answers
67 views

Two disjoint connected and bounded open sets in the plane that shares the same boundary

In $\mathbb{R}^2$ with std. topology I want to exhibit two open sets that are connected, bounded and disjoint but that have a common boundary. My attempt: Since both my sets need to be bounded, my ...
2
votes
4answers
88 views

Topological Spaces Involving Connectedness, Compactness, and Hausdorfness

I made a table about topological spaces with or without connected, compact, and Hausdorff properties. However, I cannot find the example for the following cases: Compact, but neither Hausdorff nor ...
3
votes
6answers
3k views

Examples of rings with idempotent elements

As a part of my studies in ring theory, I've encountered the concept of an idempotent element, i.e., an element $e$ such that $e^2=e$. Are there some interesting examples of rings with idempotent ...
0
votes
2answers
60 views

An example of a Lindelöf topological space which is not $\sigma$-compact

I am looking for an example of a Lindelöf topological space which is not $\sigma$-compact. I have looked in Counterexamples in Topology, but, if I am not wrong, all the examples there which meet my ...
2
votes
1answer
79 views

An example of finite, connected topological group

A finite Hausdorff topological group, has discrete topology and every discrete group is totally disconnected. I look for an example of a non-Abelian, finite, connected non-Hausdorff group . I think ...
6
votes
1answer
398 views

Is every compact space compactly generated?

I am using the definition of compactly generated space from The Category of CGWH Spaces, which is In $\mathbf{Top}$, a $k$-closed subset $Y\subset X$ is a set such that $u^{-1}(Y)$ is closed in ...
1
vote
1answer
60 views

Counterexample to conditional probability with dependent events

Let $X1,X2,X3$ be i.i.d. taking values in a finite set, and not constant. Is it necessarily true that $P(X3=X2|X2≠X1)≤P(X3=X2)$? Give a proof or a counterexample. Since the two events $A=\{X3=X2\}$ ...