Can you think of quasi-norms which aren't norms?

  • Context: Graduate 
  • Thread starter Thread starter danzibr
  • Start date Start date
Click For Summary
SUMMARY

A quasi-norm is defined by the inequality ##||x+y||\leq C(||x||+||y||)##, where ##C\geq1## is a fixed constant. Notable examples include the quasi-norms ##L^p## for ##p\in(0,1)## and specific constructions in R^2, such as ##||x|| = min(|x_1|+2*|x_2|, 2*|x_1|+|x_2|)## with ##C=2##. The discussion also touches on quasi-metric spaces, where the triangle inequality is similarly relaxed. Additionally, Hardy spaces like ##H^p## for ##p\in(0,1)## and certain Triebel-Lizorkin and Besov spaces are identified as quasi-norm spaces under specific conditions.

PREREQUISITES
  • Understanding of quasi-norms and their mathematical properties
  • Familiarity with vector spaces and their norms
  • Knowledge of Hardy spaces and their characteristics
  • Basic concepts of functional analysis and metric spaces
NEXT STEPS
  • Research the properties of ##L^p## spaces for ##p\in(0,1)##
  • Explore the definitions and applications of quasi-metric spaces
  • Study the characteristics of Hardy spaces, particularly ##H^p## for ##p\in(0,1)##
  • Investigate Triebel-Lizorkin and Besov spaces in functional analysis
USEFUL FOR

Mathematicians, students of functional analysis, and researchers interested in advanced normed spaces and their applications.

danzibr
Messages
9
Reaction score
0
Just to be clear, a quasi-norm is like a norm but instead of genuine subadditivity we have
##||x+y||\leq C(||x||+||y||)## where ##C\geq1## is some fixed constant.

To be honest, other than trivial examples the only one that comes to mind is ##L^p## for ##p\in(0,1)##. A quick google search doesn't yield much.

More generally, how about quasi-metric spaces? Similarly the triangle inequality is weakened to have a fixed multiplicative constant out front.
 
Physics news on Phys.org
In finite vector spaces, it is easy to find examples, as the existence of the constant is trivial.

One weird example for R^2:
||x|| = min(|x_1|+2*|x_2|, 2*|x_1|+|x_2|) with some base (e_1,e_2) and C=2.

Possible generalization: Define an arbitrary function ##f: \{x| x \in V, ||x||=c\} \to R## with ##E>f(x)>e>0## for some e, E. Let ||.||q be a quasi-norm with f(x)=||x||q and use linearity ||ax||q=|a| ||ax||q to extend this to a definition of ||.||q everywhere.
I did not check this in detail, but it should satisfy all axioms.
 
Well, thanks for that. I was hoping for more meaningful examples. I don't work much (really, at all) with Hardy spaces, but apparently ##H^p## for ##p\in(0,1)## is also a quasi-norm space. Probably some Triebel-Lizorkin and Besov spaces are quasi-norm spaces for appropriate parameters.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
12K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 0 ·
Replies
0
Views
4K
  • · Replies 33 ·
2
Replies
33
Views
9K
  • · Replies 104 ·
4
Replies
104
Views
18K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 8 ·
Replies
8
Views
12K
  • · Replies 100 ·
4
Replies
100
Views
13K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 98 ·
4
Replies
98
Views
16K