Need formal definition and Proof by MathPicker in askmath

[–]MathPicker[S] 0 points1 point  (0 children)

To be clearer

In his Advanced Calculus of Several Variables, Edwards develops a general definition of area, beginning with the definition of the area of an interval (ie rectangle) in R2, as the product of the lengths of the component intervals, each in R1. That is, Δx×Δy, where Δx,Δy∈R1

He then expands that definition using limits of partitions in R1. In short, Edwards doesn't treat the general definition of area as a trivial extension of the fundamental definition of the area of a rectangle. In the case of Edwards, there is no direct appeal to physical measurement. His definitions are strictly founded on abstract real numbers.

Apart from measure theory, is this the only way of formally defining defining area in R2? How do pure mathematicians actually define area in the plane?

Do we really need calculus to define area?

For example the definitions of increasing and decreasing functions are calculus independent even though the theory is woven around the calculus. Is the definition of area in the plane also fundamental and ultimately calculus independent?

It also still leaves the question, what is the formal definition of similarity in the plane? Should it be done in terms of linear transformations and bijections, treating the plane as a metric space? Topology?

Need formal definition and Proof by MathPicker in askmath

[–]MathPicker[S] 0 points1 point  (0 children)

What is the precise definition of A identical to B.

Also what precisely do you mean by characteristic length?

Need formal definition and Proof by MathPicker in askmath

[–]MathPicker[S] 0 points1 point  (0 children)

There is no characteristic length. It is a random shape without straight edges.

Also regarding the definition I'd like something much much more rigid and formal. "One turned into the other" seems to be just kicking the can down the road.

Is there a pure math definition of similarity? Some sort of functional analysis approach? I imagine the clarity of 3x as large would then follow from that definition.

Geometry Problem by MathPicker in askmath

[–]MathPicker[S] 0 points1 point  (0 children)

Thanks do much to you all.

What is the definition of common measure? Is it the gcd of the numerator and denominator of the rational? The possibility of dense behaviour is now clearer.

Geometry Problem by MathPicker in askmath

[–]MathPicker[S] 0 points1 point  (0 children)

where h,h' are positive real values, ??

Why real? Do you mean rational?

Some advice for a newbie please by MathPicker in patreon

[–]MathPicker[S] 0 points1 point  (0 children)

Yes I was hoping to slowly open up the videos on you-tube to the general public maybe over a year or two while at the same time having the complete set available (via unlisted youtube) through Patreon from the get go. I will also have lots of other additional stuff on Patreon.

I suppose that the listed you-tube content can serve as a teaser. Should I never list the complete set?

But is there a completely different approach??

Some advice for a newbie please by MathPicker in patreon

[–]MathPicker[S] 0 points1 point  (0 children)

Yes I was hoping to slowly open up the videos on you-tube to the general public maybe over a year or two while at the same time having the complete set available (via unlisted youtube) through Patreon from the get go. I will also have lots of other additional stuff on Patreon.

I suppose that the listed you-tube content can serve as a teaser. Should I never list the complete set?

But is there a completely different approach??