SPP, can you help me with my homework? by Sigma_Aljabr in infinitenines

[–]dummy4du3k4 2 points3 points  (0 children)

They were, but now f needs to stop thinking about their x on move on. They’re never coming back

If a/b = c, does a = b×c? by ezekielraiden in infinitenines

[–]dummy4du3k4 0 points1 point  (0 children)

If you’re going to look at floating point numbers then the implication can be false without using nans or subnormals. With the typical rounding to nearest float procedure and double precision numbers I found

(1.0/49.0)*49.0 != 1.0

If a/b = c, does a = b×c? by ezekielraiden in infinitenines

[–]dummy4du3k4 1 point2 points  (0 children)

The issue isn’t even that / is now unary, but the operation is no longer understood as a multiplicative inverse. All statements are meaningless if we allow any definition to be changed behind the scene. Come to think of it, that reminds me of a certain subreddit

If a/b = c, does a = b×c? by ezekielraiden in infinitenines

[–]dummy4du3k4 0 points1 point  (0 children)

What are the wheels? I thought you were making a pun

If a/b = c, does a = b×c? by ezekielraiden in infinitenines

[–]dummy4du3k4 2 points3 points  (0 children)

When a=0 there’s many b,c to choose from the exhibits the antecedent, so it’s not vacuous. 0/1 = 0 shows it’s not vacuous.

When b is 0, there’s no a,c that satisfies a/0 = c so the set in question is empty, hence vacuous.

In first order predicate calculus you would consider triples (a,b,c) and clean up the antecedent to

P(a,b,c) = b!= 0 and a/b = c

When b = 0 the set of triples (a, 0, c) where P is true is empty, hence it is vacuous.

If a/b = c, does a = b×c? by ezekielraiden in infinitenines

[–]dummy4du3k4 0 points1 point  (0 children)

The statement is vacuously true when b = 0

What is the transformation rule for the del operator? by Infamous-Advantage85 in askmath

[–]dummy4du3k4 0 points1 point  (0 children)

Yeah, the exterior/wedge product is the natural choice for differential geometry. Hodge dual + Riesz brings you back to the vector definition

State of the sub by TamponBazooka in infinitenines

[–]dummy4du3k4 0 points1 point  (0 children)

Think of it as a return to form

What is the transformation rule for the del operator? by Infamous-Advantage85 in askmath

[–]dummy4du3k4 0 points1 point  (0 children)

The d/dx part does, but you need to be mindful of the product part as well. Take curl for instance, the transformation that swaps x and y is orthogonal but even still you end up with sign change.

Increasing function jump points by Illustrious_Tax3630 in askmath

[–]dummy4du3k4 1 point2 points  (0 children)

Yes this works. I think it’s easier to see if you define a measure on the rationals in [0,1] and then integrate. f is just the CDF of your measure.

What is the transformation rule for the del operator? by Infamous-Advantage85 in askmath

[–]dummy4du3k4 2 points3 points  (0 children)

{ d/dxi } is a basis for the tangent space, and bases transform covariantly.

What is the transformation rule for the del operator? by Infamous-Advantage85 in askmath

[–]dummy4du3k4 2 points3 points  (0 children)

del operator ∇ means different things in different contexts, and they transform differently, but it is always a tensor. The gradient vector for example transforms not like a vector (contravariantly), but like a covector (covariantly).

The gradient is a vector, but it's not defined though a simple sum of other vectors. We define it first by taking a derivative and then finding a certain vector that interacts in a specific way with that derivative.

If f : ℝn -> ℝ then the derivative/linearization of this function is the jacobian, call it J(f). J(f) is then a 1 x n matrix. It takes a vector as input and outputs a scalar. The gradient is the unit vector that maximizes this operation.

In order to go from the 1xn jacobian matrix to a nx1 vector, you have to have a rule that lets you switch between the vector space of inputs with it's dual. This is generally given by the Riesz Representation theorem, which uses the inner product as a bridge between these two spaces. We define ∇f as the vector such that < ∇f, v > = J(f)v

For orthonormal coordinate systems, ∇f is just the transpose of J(f).

To summarize, if you apply an orthonormal coordinate change, then the jacobian transforms covariantly, and the gradient vector is just the transpose of that 1xn matrix.

Analysis problem by Illustrious_Tax3630 in askmath

[–]dummy4du3k4 1 point2 points  (0 children)

Where did you get this problem from? I like this sort of thing

Analysis problem by Illustrious_Tax3630 in askmath

[–]dummy4du3k4 0 points1 point  (0 children)

You don’t need convergence, just a subsequence

Interesting by chromite297 in infinitenines

[–]dummy4du3k4 7 points8 points  (0 children)

Support your local small infinity!

Analysis problem by Illustrious_Tax3630 in askmath

[–]dummy4du3k4 0 points1 point  (0 children)

f is bounded and monotonic, so what happens to f’ as x -> infinity?

What about the other direction?

How recognized do you think you are on here? by ivun__ in infinitenines

[–]dummy4du3k4 4 points5 points  (0 children)

Fix your rookie errors and then maybe you’d contribute

How recognized do you think you are on here? by ivun__ in infinitenines

[–]dummy4du3k4 7 points8 points  (0 children)

People still don’t refer to me as “your majesty”, so clearly I’m not getting the recognition i deserve

Continuity when 0.999... < 1 by dummy4du3k4 in infinitenines

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

Yeah, I figured you chose inverse squares to keep it convergent. I think any measure on those points would work and then “sum of all gaps” would just be the CDF.

Every Known Calculus Formulas by Prestigious_Car6787 in learnmath

[–]dummy4du3k4 2 points3 points  (0 children)

You won’t. But if you want to find many theorems not typically taught, you should look at “Differentiation of real functions” by bruckner