Mathematical Foundations and Engineering Functions

Introduction

Engineering mathematics provides the language used to describe signals, circuits, systems, measurements, and physical laws. In electronics and communication engineering, a voltage may be represented as a function of time, a signal may be classified by its domain and range, and a circuit relationship may be tested for dimensional consistency. These activities depend on more than arithmetic: they require precise definitions, logical reasoning, appropriate models, and the ability to establish whether a mathematical statement is valid.

This chapter develops the foundational ideas needed for later study of calculus, differential equations, probability, signals and systems, and electromagnetic theory. Particular attention is given to sets, logic, relations, functions, inequalities, logarithms, trigonometry, sequences, series, dimensional analysis, and proof.

Learning objectives

After completing this chapter, you should be able to:

• use set notation and basic logical operations;
• distinguish relations from functions and determine domains and ranges;
• solve equations and inequalities while preserving logical equivalence;
• apply logarithmic, exponential, and trigonometric identities;
• analyze arithmetic and geometric sequences and series;
• test equations for dimensional consistency;
• construct direct and contradiction proofs;
• select standard mathematical functions for engineering models.

1. Sets and mathematical language

A set is a well-defined collection of objects, called elements. The statement that x belongs to a set A is written x ∈ A, while non-membership is written x ∉ A. Sets may be described by listing elements, for example A = {1,2,3}, or by a rule, such as B = {x ∈ ℝ : x > 0}. The symbol ℝ denotes the real numbers; ℕ, ℤ, and ℚ commonly denote the natural numbers, integers, and rational numbers.

The empty set is written ∅. If every element of A is also an element of B, then A is a subset of B, written A ⊆ B. Two sets are equal if and only if they contain exactly the same elements.

The principal operations are:

• Union: A ∪ B contains elements in A, in B, or in both.
• Intersection: A ∩ B contains elements common to A and B.
• Difference: A \ B contains elements in A but not in B.
• Complement: A^c contains elements in the universal set but not in A.

The distributive laws are useful when simplifying conditions:

De Morgan’s laws are:

These identities apply to ordinary sets within a specified universal set. In engineering, sets can represent allowable frequency bands, valid operating temperatures, or components satisfying a design condition.

The Cartesian product of sets A and B is the set of ordered pairs:

Order matters: generally, (a,b) ≠ (b,a). If A has m elements and B has n elements, then A × B has mn elements.

2. Logic and proof

A proposition is a statement that is either true or false, but not both. For propositions p and q, the conjunction p ∧ q is true only when both are true; the disjunction p ∨ q is true when at least one is true; and the negation ¬p reverses the truth value.

The implication p → q means “if p, then q.” It is false only when p is true and q is false. The converse, q → p, is not generally equivalent to the original implication. The contrapositive is ¬q → ¬p and is logically equivalent to p → q.

A biconditional, p ↔ q, means that both implications hold. In mathematics, “p if and only if q” requires proof in both directions.

Methods of proof

A direct proof begins with the assumptions and derives the conclusion. For example, if m and n are even integers, then there exist integers r and s such that m=2r and n=2s. Therefore m+n=2(r+s), so m+n is even.

A proof by contrapositive establishes ¬q → ¬p instead of p → q. A proof by contradiction assumes the conclusion is false and derives an impossibility. Mathematical induction is used for statements indexed by natural numbers. It has two essential parts:

1. Prove the statement for the initial value.
2. Assume it holds for n=k and prove it for n=k+1.

For example, the finite geometric sum for r ≠ 1 is

The base case n=0 gives 1 on both sides. Assuming the formula for k, adding r^{k+1} and simplifying proves the case k+1. The condition r ≠ 1 is essential; when r=1, the sum is n+1.

3. Relations and functions

A relation from A to B is any subset of A × B. A function f from A to B, written f:A→B, assigns exactly one element of B to every element of A. A is the domain, B is the codomain, and the set of actual output values is the range or image.

A relation may fail to be a function if one input is paired with two different outputs or if an alleged function leaves an element of its domain without an output. The vertical-line test provides a graphical criterion: a curve represents y as a function of x if every vertical line intersects it at most once.

A function is one-to-one (injective) if distinct inputs have distinct outputs. It is onto (surjective) if every codomain element is attained. It is bijective if it is both. Only a bijection has an inverse function defined on the entire codomain. If y=f(x), the inverse is obtained by interchanging x and y and solving for y, subject to domain restrictions.

Important transformations include:

• y=f(x)+c shifts the graph vertically by c.
• y=f(x−c) shifts it horizontally right by c.
• y=af(x) scales vertical values by a.
• y=f(bx) changes horizontal scale; for positive b, the scale factor is 1/b.

A model is meaningful only when its domain reflects physical restrictions. For example, the resistance of a conductor may be modeled as a function of temperature over a specified temperature interval, not over every real number.

4. Equations and inequalities

An equation asserts equality between expressions. Operations such as adding the same quantity to both sides or multiplying both sides by a nonzero quantity preserve equivalence. Multiplication by an expression whose sign is unknown requires care in inequalities.

For a linear equation ax+b=0, where a ≠ 0,

A quadratic equation ax²+bx+c=0, with a ≠ 0, has roots

The discriminant ∆=b²−4ac determines the real roots: two distinct roots if ∆>0, one repeated root if ∆=0, and no real roots if ∆<0.

To solve a rational inequality, first identify points where the numerator or denominator is zero. The denominator’s zeros are excluded from the domain. Divide the real line into intervals and test the sign on each interval. Multiplying an inequality by a negative quantity reverses its direction; multiplying by an unknown-sign quantity without case analysis is invalid.

Absolute value has the definition

For a≥0, |x|≤a is equivalent to −a≤x≤a, while |x|≥a is equivalent to x≤−a or x≥a.

5. Exponential and logarithmic functions

The exponential function with base a is y=a^x, where a>0 and a≠1. It is increasing for a>1 and decreasing for 0<a<1. The natural exponential function is e^x, where e≈2.71828.

A logarithm is the inverse of exponentiation:

The domain requires x>0. The natural logarithm is ln x, and the common logarithm is log₁₀x. The laws are

These require positive logarithm arguments. The change-of-base formula is

Engineering uses logarithms to express large ranges compactly. A voltage ratio in decibels is often defined by

where V₁ and V₂ are nonzero voltage magnitudes measured under the same impedance conditions. For power ratios,

where P₁ and P₂ are positive powers. The different coefficients arise because power is proportional to the square of voltage magnitude under equal resistance.

Worked example. A voltage amplifier changes a signal from 0.20 V to 2.0 V. Its voltage gain is 10, so

G_dB=20 log₁₀(10)=20 dB.

The ratio is dimensionless, as required by a logarithm.

6. Trigonometric functions

For a right triangle, the sine, cosine, and tangent of an acute angle θ are ratios of sides. In a unit-circle definition, the point corresponding to θ has coordinates (cos θ, sin θ). Angles may be measured in degrees or radians; calculus formulas conventionally use radians. The conversion is

The fundamental identity is

and, where defined,

The angle-addition identities are

A sinusoidal engineering signal may be written as

where Vₘ is peak amplitude in volts, ω is angular frequency in radians per second, t is time in seconds, and φ is phase in radians. Frequency f in hertz satisfies ω=2πf. The period is T=1/f for f>0.

For a sinusoid with zero average over a complete cycle, the root-mean-square value is

This result assumes an ideal sinusoid and is not valid for arbitrary waveforms without recomputation.

7. Sequences and series

A sequence is an ordered list a₁,a₂,a₃,…. It may be defined explicitly, such as a_n=2n+1, or recursively, such as a_n+1=a_n+2.

An arithmetic sequence has constant difference d:

Its first n terms sum to

A geometric sequence has constant ratio r:

For r≠1, its finite sum is

If |r|<1, the infinite geometric series converges to

If |r|≥1, it does not converge to a finite sum. Convergence matters in engineering when an iterative approximation, sampled response, or feedback process is represented by an infinite series.

A necessary condition for convergence of ∑a_n is a_n→0, but this condition alone is not sufficient. For instance, the harmonic series ∑1/n diverges even though its terms approach zero.

8. Dimensional consistency and scaling

A physical equation must be dimensionally homogeneous: quantities added or equated must have the same dimensions. Base dimensions commonly include mass M, length L, time T, and electric current I. Dimensions are not the same as numerical units. Voltage, for example, may be measured in volts, but its dimensions can be expressed as ML²T⁻³I⁻¹.

For a sinusoidal voltage, ωt must be dimensionless because the argument of sine is dimensionless. Since t has units of seconds, ω must have units s⁻¹, or radians per second; radians are dimensionless mathematically.

The electrical relation

is dimensionally consistent because volts = amperes × ohms. The energy relation

is consistent because joules = watts × seconds.

Dimensional analysis can detect errors but cannot prove a formula correct. For example, both s=ut+at² and s=ut+(1/2)at² are dimensionally consistent; only physical reasoning or derivation identifies the correct coefficient. Dimensionless quantities may appear inside exponentials, logarithms, and trigonometric functions. Thus e^−t/τ is meaningful when t and τ have the same time unit.

Worked example. Suppose a proposed formula for propagation distance is d=vt², where v has units m/s and t has units s. The right side has units m·s, not m, so the formula is dimensionally inconsistent. A term such as at² has units m when a is in m/s².

9. Standard functions for engineering models

Selecting a function requires identifying the mechanism and the valid operating range.

A linear model is often local rather than universal. If a sensor output is approximately linear near an operating point x₀, one may use y≈f(x₀)+f′(x₀)(x−x₀), provided the function is differentiable and the interval is sufficiently small. The derivative notation is introduced here as a modeling idea and is developed fully in calculus.

Illustrative application: RC charging

Consider an ideal series resistor-capacitor circuit connected to a constant source Vₛ at t=0. Assume the resistor has resistance R in ohms, the capacitor has capacitance C in farads, the source is ideal, and the capacitor is initially uncharged. The capacitor voltage is modeled by

The time constant is τ=RC, measured in seconds. At t=τ,

v_C(τ)=V_s(1−e⁻¹)≈0.632V_s.

The capacitor current is

At t=0, the capacitor behaves initially as a short circuit in this idealized model, giving i_C(0)=V_s/R. As time increases, current decays toward zero and voltage approaches Vₛ. The formulas are not universal: they rely on a first-order ideal RC network and a step input. A nonzero initial voltage, source resistance, leakage, or a time-varying source changes the model.

This example illustrates several foundational principles: the exponential argument is dimensionless, the time constant controls scale, the limiting values should be checked, and the mathematical model must be tied to explicit assumptions.

10. Best practices, limitations, and professional relevance

Good mathematical practice begins with definitions and domain restrictions. Before calculating, identify known quantities, units, assumptions, and the desired output. During calculation, preserve significant information and avoid rounding too early. After calculation, check sign, magnitude, units, limiting behavior, and whether the answer is physically plausible.

Computer algebra and simulation tools can simplify expressions, plot functions, and verify numerical results, but they do not replace reasoning. A symbolic system may manipulate an expression outside its physical domain, and a numerical solver may return one root while other roots exist. Engineers remain responsible for model selection, assumptions, validation, and communication.

In safety-critical electronics, undocumented assumptions and unit errors can produce incorrect component ratings or unsafe operating conditions. In collaborative and regulated environments, equations, parameter definitions, versioned models, and validation evidence should be recorded. AI-assisted mathematical tools should be treated as aids: outputs require independent checking, especially when equations affect hardware, medical devices, communications infrastructure, or public safety.

Chapter Summary

Sets provide a precise language for collections, domains, operating conditions, and logical constraints. Propositions, implications, contrapositives, and proof methods establish reliable mathematical arguments. Relations connect elements, while functions assign one output to each input; injectivity and surjectivity determine whether inverse functions exist.

Equations and inequalities require attention to domain and sign changes. Exponential and logarithmic functions model growth, decay, attenuation, and decibel scales. Trigonometric functions describe periodic behavior, with frequency, angular frequency, phase, and RMS values providing standard engineering interpretations. Sequences and series support iterative and cumulative models, while convergence determines whether infinite representations are meaningful.

Dimensional consistency is an essential error-detection method, although it cannot establish every numerical coefficient. Finally, engineering models must be selected according to mechanism, assumptions, valid range, and physical interpretation. The RC charging model demonstrates how exponential functions, units, limiting behavior, and assumptions work together in practice.

Key Terms

Set: A well-defined collection of objects.

Subset: A set whose elements all belong to another set.

Cartesian product: The set of ordered pairs formed from two sets.

Proposition: A statement with a definite truth value.

Implication: A conditional statement of the form “if p, then q.”

Contrapositive: The logically equivalent statement ¬q→¬p.

Function: A rule assigning exactly one output to each domain input.

Domain: The set of permitted input values.

Range: The set of output values actually produced.

Injective: A function in which distinct inputs have distinct outputs.

Surjective: A function whose range equals its codomain.

Logarithm: The inverse operation to exponentiation.

Amplitude: The magnitude scale of a sinusoidal or varying quantity.

Phase: The angular displacement of a periodic signal.

Sequence: An ordered list of terms.

Series: A sum of sequence terms.

Convergence: Approach of a sequence or series to a finite limiting value.

Dimension: The physical character expressed through base quantities.

Time constant: A characteristic time scale, such as τ=RC in an RC circuit.

Model: A mathematical representation of a physical system under stated assumptions.

Review Questions

Short Answer Questions

1. Define the union and intersection of two sets.
2. What is the difference between a function’s codomain and its range?
3. State the condition under which an infinite geometric series converges.
4. Why must the argument of a logarithm be positive in real-valued mathematics?
5. What does dimensional consistency test in an engineering equation?

Long Answer Questions

1. Explain direct proof, proof by contrapositive, contradiction, and mathematical induction, giving one suitable engineering or mathematical example.
2. Describe injective, surjective, and bijective functions and explain when an inverse function exists.
3. Derive the finite geometric-series formula and discuss the special case r=1.
4. Explain the relationship between frequency, angular frequency, period, amplitude, and phase in a sinusoidal signal.
5. Discuss dimensional analysis as an engineering validation tool, including both its strengths and limitations.

Analytical / Application Questions

1. An amplifier changes a signal voltage from 25 mV to 1.0 V. Calculate the voltage gain and express it in decibels, stating the assumptions required.
2. An RC circuit has R=10 kΩ and C=2 μF. Calculate its time constant and the capacitor voltage after one time constant when connected to a 5 V ideal step source from an initially uncharged state.
3. A proposed signal model is x(t)=3e^−t/4 sin(200πt+π/6), where t is in seconds. Identify the decay time constant, angular frequency, frequency in hertz, and phase, and verify that the exponential and trigonometric arguments are dimensionless.

Multiple Choice Questions with Answers

Question 1

Which statement best describes a function from A to B?

A. Every element of B must have two preimages

B. Every element of A is assigned exactly one element of B

C. Every element of A must be assigned every element of B

D. It is any subset of B alone

Correct Answer: B. Every element of A is assigned exactly one element of B

Question 2

If A={1,2,3} and B={3,4}, what is A ∩ B?

A. {1,2,3,4}

B. {1,2}

C. {3}

D. ∅

Correct Answer: C. {3}

Question 3

The contrapositive of p → q is:

A. q → p

B. ¬p → ¬q

C. ¬q → ¬p

D. p ↔ q

Correct Answer: C. ¬q → ¬p

Question 4

For the quadratic equation ax²+bx+c=0, the discriminant is:

A. b²+4ac

B. b²−4ac

C. 4ac−b²

D. a²−4bc

Correct Answer: B. b²−4ac

Question 5

What is the value of log₁₀(1000)?

A. 1

B. 2

C. 3

D. 10

Correct Answer: C. 3

Question 6

A sinusoid has frequency 50 Hz. Its angular frequency is:

A. 25π rad/s

B. 50π rad/s

C. 100π rad/s

D. 250π rad/s

Correct Answer: C. 100π rad/s

Question 7

The infinite geometric series with first term 4 and ratio 1/2 sums to:

A. 2

B. 4

C. 6

D. 8

Correct Answer: D. 8

Question 8

Which expression is dimensionless when t and τ both have units of seconds?

A. t+τ

B. tτ

C. t/τ

D. t−τ²

Correct Answer: C. t/τ

Question 9

For an ideal RC circuit with R=2 kΩ and C=5 μF, the time constant is:

A. 0.001 s

B. 0.010 s

C. 0.100 s

D. 10 s

Correct Answer: B. 0.010 s

Question 10

A voltage ratio of 10 corresponds to a voltage gain of:

A. 10 dB

B. 20 dB

C. 40 dB

D. 100 dB

Correct Answer: B. 20 dB